-
Notifications
You must be signed in to change notification settings - Fork 20
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
TracedStepRangeLen #960
TracedStepRangeLen #960
Conversation
Uhm, the history of this PR contains unrelated commits |
94d5933
to
6ac586c
Compare
Sorry, should be fixed |
fix getindex for traced index.
Co-authored-by: William Moses <[email protected]>
failing CI is all:
Is this due to flaky Github runners or should I attempt debugging this? (@giordano) |
yes, we've had those hangs in the macOS-latest runners after precompilation in a while, reason why we did #843. |
Note: instead of pushing a new commit which restart some 50 new jobs (11 of which on macOS, for which we have 5 runners across the entire organisation), you can simply go to the summary page of CI run and restart only failed jobs: ![]() Of course now it's too late to that here since the 50 new jobs have restarted already, but good to keep in mind for the future 🙂 |
I'll keep this in mind in the future! In this case it was a merge commit from main, though, shouldn't CI fully rerun in that case? |
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, maybe add a quick test?
Ok, if you did want to test on top of |
Added a test—and fixed a bug in getindex that was unearthed by it. |
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
I think this is ready to be merged |
I imagine some code should maybe be moved around a bit?