-
Notifications
You must be signed in to change notification settings - Fork 32
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
Make CI + tests more efficient #749
Conversation
e86d99f
to
eafd2b5
Compare
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## master #749 +/- ##
==========================================
- Coverage 86.02% 85.94% -0.09%
==========================================
Files 36 36
Lines 4272 4276 +4
==========================================
Hits 3675 3675
- Misses 597 601 +4 ☔ View full report in Codecov by Sentry. |
Pull Request Test Coverage Report for Build 12302264036Details
💛 - Coveralls |
Pull Request Test Coverage Report for Build 12315584178Details
💛 - Coveralls |
9b05e78
to
3042394
Compare
3042394
to
4c18b03
Compare
I think this PR should be reviewable! Coverage is the other thing that frankly annoys me. I don't see how my changes could have led to any decrease in coverage. That said, at least it's not part of the 'required checks', so it wouldn't mess with the merge queue. Note: The 'required checks' below refer to the CI jobs that existed prior to this PR, i.e. the tests that weren't split up. The 'expected check' is just GitHub waiting for a job with that name to be run. If this PR is merged, those required checks will have to be edited in the repo settings. |
4c18b03
to
60f4d33
Compare
60f4d33
to
5174143
Compare
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.
LGTM, thanks Penny!
Branch protection rules updated too so that should show up right on the next PR :) |
This PR does a bunch of individually minor things, detailed below, but the broad effect is:
The time taken to run DynamicPPL CI should be cut down to ca. 30 minutes. It was close to 2 hours previously.
We should get back the green tick so that we can stop force-merging everything.
Fixes x86 2threads ubuntu CI OOM failure #725
CI
Separates the tests into two different groups. This was meant as a solution to x86 2threads ubuntu CI OOM failure #725, because the OOM error doesn't happen if you only run the doctests and not the main test suite before it.
Disables fail-fast on the CI matrix, as we don't want half the tests to fail if there's an error in the other half.
Enables concurrency on the CI job so that pushing a new commit to the same PR cancels CI running on previous commits
Tests themselves
Suppresses unnecessary output in the test suite (sampling progress, also the result of
model_warntype
)Add
verbose = true
to the top-level@testset
so that a breakdown of timings / number of tests is printed at the endRemoves one layer of an unneeded double loop over the demo models in
test/sampler.jl
, which cuts approximately 45 mins from CI.