Skip to content

Allow OrderedCollections 2 - #192

Merged
shravanngoswamii merged 1 commit into
mainfrom
sg/orderedcollections-2
Oct 2, 2026
Merged

shravanngoswamii merged 1 commit into
mainfrom
sg/orderedcollections-2

Conversation

@shravanngoswamii

Copy link
Copy Markdown
Member

Supersedes #190, keeping the commit as authored there.

That branch lives on an organisation-owned fork, which does not honour maintainer edits, so the history correction could not be pushed to it.

0.15.6 is not released yet, so the entry folds into that heading rather than opening 0.15.7.

@codecov

codecov Bot commented Oct 2, 2026 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 92.16%. Comparing base (a2ab0bc) to head (6f01b51).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #192      +/-   ##
==========================================
- Coverage   92.21%   92.16%   -0.05%     
==========================================
  Files          17       17              
  Lines        2106     2106              
==========================================
- Hits         1942     1941       -1     
- Misses        164      165       +1     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@github-actions

github-actions Bot commented Oct 2, 2026

Copy link
Copy Markdown
Contributor

AbstractPPL.jl documentation for PR #192 is available at:
https://TuringLang.github.io/AbstractPPL.jl/previews/PR192/

@shravanngoswamii
shravanngoswamii force-pushed the sg/orderedcollections-2 branch from 2c1bf40 to 6f01b51 Compare October 2, 2026 06:19
@shravanngoswamii
shravanngoswamii merged commit 85d27c4 into main Oct 2, 2026
16 of 17 checks passed
@shravanngoswamii
shravanngoswamii deleted the sg/orderedcollections-2 branch October 2, 2026 06:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants