Skip to content
CI

Don't check if BVS has .annotations in z3 backend (#524) #846

Sign in to view logs

Don't check if BVS has .annotations in z3 backend (#524)

Don't check if BVS has .annotations in z3 backend (#524) #846

Run time

Learn about OS pricing on GitHub Actions
Job Run time
windows / Test Windows
44s
macos / Test macOS
24s
ci / Build
3m 47s
ci / Lint
1m 15s
ci / Test (0)
6m 1s
ci / Test (1)
5m 58s
ci / Test (2)
5m 49s
ci / Test (3)
11m 4s
ci / Test (4)
5m 49s
ci / Test (5)
4m 6s
ci / Test (6)
5m 4s
ci / Test (7)
5m 41s
ci / Test (8)
7m 1s
ci / Test (9)
4m 52s
ci / Publish Unit Tests Results
1s
1h 7m 36s