-
Notifications
You must be signed in to change notification settings - Fork 9
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
Improve miri job runtime #601
Improve miri job runtime #601
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #601 +/- ##
==========================================
+ Coverage 72.80% 72.81% +0.01%
==========================================
Files 243 243
Lines 34681 34664 -17
==========================================
- Hits 25249 25241 -8
+ Misses 9432 9423 -9
|
BenchmarksComparisonBenchmark execution time: 2024-08-29 09:07:06 Comparing candidate commit 67c55d9 in PR branch Found 0 performance improvements and 0 performance regressions! Performance is the same for 50 metrics, 2 unstable metrics. CandidateCandidate benchmark detailsGroup 1
Group 2
Group 3
Group 4
Group 5
Group 6
Group 7
Group 8
Group 9
Group 10
Group 11
BaselineOmitted due to size. |
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.
👍🏻
From the diff, it's clear that you reverted the parallel running of the tests, so it would be great if you had removed those commits as well.
It's easy to back up X commits:
git reset --hard HEAD~X
git push -f
Yes I figured those would get squashed anyway |
9139e27
to
67c55d9
Compare
Yes, they will get squashed. It was only a bit confusing to see when I opened the PR. |
What does this PR do?
Improve the miri job runtime by skipping some slow tests.