Skip to content
Back to pull request #582

Update z3 to 4.13.4.0 #106

Sign in to view logs

Update z3 to 4.13.4.0

Update z3 to 4.13.4.0 #106

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ecosystem / Build
3m 33s
ecosystem / Lint
48s
ecosystem / Test (0)
9m 29s
ecosystem / Test (1)
10m 22s
ecosystem / Test (2)
7m 40s
ecosystem / Test (3)
7m 51s
ecosystem / Test (4)
48m 18s
ecosystem / Test (5)
30m 30s
ecosystem / Test (6)
31m 58s
ecosystem / Test (7)
6m 10s
ecosystem / Test (8)
7m 3s
ecosystem / Test (9)
7m 37s
ecosystem / Publish Unit Tests Results
1s
2h 51m 20s