Skip to content
License Check and Multi-Platform Test

Update Z3 to 4.13.0 #132

Sign in to view logs

Update Z3 to 4.13.0

Update Z3 to 4.13.0 #132

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check for modified Gradle
3s
Run Spotless
46s
Build JUnit Test Runner
2m 16s
JUnit Test on macos-latest and liberica version 8 for x64
27s
JUnit Test on macos-latest and liberica version 11 for x64
23s
JUnit Test on macos-latest and liberica version 17 for x64
25s
JUnit Test on macos-latest and liberica version 21 for x64
26s
JUnit Test on macos-latest and microsoft version 11 for x64
30s
JUnit Test on macos-latest and microsoft version 17 for x64
31s
JUnit Test on macos-latest and microsoft version 21 for x64
29s
JUnit Test on macos-latest and temurin version 8 for x64
16s
JUnit Test on macos-latest and temurin version 11 for x64
13s
JUnit Test on macos-latest and temurin version 17 for x64
18s
JUnit Test on macos-latest and temurin version 21 for x64
13s
JUnit Test on macos-latest and zulu version 8 for x64
40s
JUnit Test on macos-latest and zulu version 11 for x64
21s
JUnit Test on macos-latest and zulu version 17 for x64
42s
JUnit Test on macos-latest and zulu version 21 for x64
28s
JUnit Test on ubuntu-latest and liberica version 8 for x64
14s
JUnit Test on ubuntu-latest and liberica version 11 for x64
12s
JUnit Test on ubuntu-latest and liberica version 17 for x64
12s
JUnit Test on ubuntu-latest and liberica version 21 for x64
14s
JUnit Test on ubuntu-latest and microsoft version 11 for x64
20s
JUnit Test on ubuntu-latest and microsoft version 17 for x64
15s
JUnit Test on ubuntu-latest and microsoft version 21 for x64
16s
JUnit Test on ubuntu-latest and temurin version 8 for x64
6s
JUnit Test on ubuntu-latest and temurin version 11 for x64
6s
JUnit Test on ubuntu-latest and temurin version 17 for x64
7s
JUnit Test on ubuntu-latest and temurin version 21 for x64
8s
JUnit Test on ubuntu-latest and zulu version 8 for x64
11s
JUnit Test on ubuntu-latest and zulu version 11 for x64
13s
JUnit Test on ubuntu-latest and zulu version 17 for x64
14s
JUnit Test on ubuntu-latest and zulu version 21 for x64
15s
JUnit Test on windows-latest and liberica version 8 for x64
11s
JUnit Test on windows-latest and liberica version 11 for x64
11s
JUnit Test on windows-latest and liberica version 17 for x64
13s
JUnit Test on windows-latest and liberica version 21 for x64
16s
JUnit Test on windows-latest and microsoft version 11 for x64
17s
JUnit Test on windows-latest and microsoft version 17 for x64
12s
JUnit Test on windows-latest and microsoft version 21 for x64
12s
JUnit Test on windows-latest and temurin version 8 for x64
24s
JUnit Test on windows-latest and temurin version 11 for x64
23s
JUnit Test on windows-latest and temurin version 17 for x64
24s
JUnit Test on windows-latest and temurin version 21 for x64
21s
JUnit Test on windows-latest and zulu version 8 for x64
16s
JUnit Test on windows-latest and zulu version 11 for x64
19s
JUnit Test on windows-latest and zulu version 17 for x64
22s
JUnit Test on windows-latest and zulu version 21 for x64
17s
16m 48s