Skip to content
Tests on Linux

Fix Z3 version. #306

Sign in to view logs

Fix Z3 version.

Fix Z3 version. #306

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.7, ON, 5.0-rc2)
7m 28s
build (3.7, ON, 4.0.2)
10m 48s
build (3.7, OFF, 5.0-rc2)
7m 48s
build (3.7, OFF, 4.0.2)
11m 34s
build (3.8, ON, 5.0-rc2)
1s
build (3.8, ON, 4.0.2)
1s
build (3.8, OFF, 5.0-rc2)
48s
build (3.8, OFF, 4.0.2)
5m 27s
build (3.9, ON, 5.0-rc2)
1s
build (3.9, ON, 4.0.2)
1s
build (3.9, OFF, 5.0-rc2)
1s
build (3.9, OFF, 4.0.2)
1s
build (3.10, ON, 5.0-rc2)
11m 48s
build (3.10, ON, 4.0.2)
11m 51s
build (3.10, OFF, 5.0-rc2)
11m 34s
build (3.10, OFF, 4.0.2)
11m 54s
1h 31m 6s