-
Notifications
You must be signed in to change notification settings - Fork 36
issue 737 and issue 789 #977
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Benchmark Report for Commit b5f3345Computer Information
Benchmark Results
|
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #977 +/- ##
=======================================
Coverage 82.97% 82.97%
=======================================
Files 36 36
Lines 3965 3965
=======================================
Hits 3290 3290
Misses 675 675 ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
Pull Request Test Coverage Report for Build 16165535432Details
💛 - Coveralls |
1 similar comment
Pull Request Test Coverage Report for Build 16165535432Details
💛 - Coveralls |
Pull Request Test Coverage Report for Build 16165535432Details
💛 - Coveralls |
Pull Request Test Coverage Report for Build 16172887634Details
💛 - Coveralls |
@mosesmakola @mhauru I checked (#978) and the same crash is happening on main, so it's unrelated to this PR. My guess is that it has to do with new or updated dependencies. |
DynamicPPL.jl documentation for PR #977 is available at: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good, except maybe update a comment to match the new code.
Co-authored-by: Markus Hauru <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
I think it might only be maintainers who can merge, so I'll go ahead and do it:) |
Thank you Penny! |
Closes #737 closes #789