Strengthen the postcondition of bisect #7327
Triggered via pull request
January 9, 2024 14:21
fpoli
Status
Success
Total duration
1h 10m 58s
Artifacts
–
test.yml
on: pull_request
fmt-check
31s
clippy-check
3m 51s
check-deps
10m 30s
smir-check
6s
quick-tests
6m 34s
can-merge
3s