Skip to content
Tests on Linux

Fix Z3 version. #971

Sign in to view logs

Fix Z3 version.

Fix Z3 version. #971

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.7, ON, 5.0-rc2)
11m 54s
build (3.7, ON, 5.0-rc2)
11m 35s
build (3.7, ON, 4.0.2)
11m 44s
build (3.7, ON, 4.0.2)
11m 35s
build (3.7, OFF, 5.0-rc2)
11m 55s
build (3.7, OFF, 5.0-rc2)
11m 34s
build (3.7, OFF, 4.0.2)
12m 0s
build (3.7, OFF, 4.0.2)
11m 25s
build (3.8, ON, 5.0-rc2)
1s
build (3.8, ON, 5.0-rc2)
11m 35s
build (3.8, ON, 4.0.2)
11m 47s
build (3.8, ON, 4.0.2)
11m 35s
build (3.8, OFF, 5.0-rc2)
11m 40s
build (3.8, OFF, 5.0-rc2)
11m 34s
build (3.8, OFF, 4.0.2)
11m 35s
build (3.8, OFF, 4.0.2)
11m 34s
build (3.9, ON, 5.0-rc2)
1s
build (3.9, ON, 5.0-rc2)
6m 40s
build (3.9, ON, 4.0.2)
1s
build (3.9, ON, 4.0.2)
8m 28s
build (3.9, OFF, 5.0-rc2)
1s
build (3.9, OFF, 5.0-rc2)
11m 34s
build (3.9, OFF, 4.0.2)
1s
build (3.9, OFF, 4.0.2)
11m 34s
build (3.10, ON, 5.0-rc2)
11m 40s
build (3.10, ON, 5.0-rc2)
11m 32s
build (3.10, ON, 4.0.2)
11m 41s
build (3.10, ON, 4.0.2)
11m 33s
build (3.10, OFF, 5.0-rc2)
11m 54s
build (3.10, OFF, 5.0-rc2)
11m 34s
build (3.10, OFF, 4.0.2)
11m 55s
build (3.10, OFF, 4.0.2)
11m 18s
5h 6m 30s