Upgrade Z3 (restores linux/arm64 support) #7157
Job | Run time |
---|---|
8s | |
2m 51s | |
6m 35s | |
20m 44s | |
18m 9s | |
2m 56s | |
20m 0s | |
5m 41s | |
13m 14s | |
4m 18s | |
1h 34m 36s |
Job | Run time |
---|---|
8s | |
2m 51s | |
6m 35s | |
20m 44s | |
18m 9s | |
2m 56s | |
20m 0s | |
5m 41s | |
13m 14s | |
4m 18s | |
1h 34m 36s |