Skip to content
Continuous integration

Fix z3-scope compile error #37

Sign in to view logs

Fix z3-scope compile error

Fix z3-scope compile error #37

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format
15s
clippy
32s
test (4.8.7, true)
11m 58s
test (4.8.17)
12m 18s
test (4.11.2)
12m 49s
test (4.12.2)
10m 59s
test (4.12.4)
17m 17s
test (4.13.3, glibc-2.35)
11m 34s
1h 17m 42s