Upgrade to mccs.1.1+17 #627
main.yml
on: push
Analyse
4s
Cold-Linux
5m 19s
Matrix: Solvers-Linux
Matrix: Test-Linux
Matrix: Upgrade-Linux
Matrix: Solvers-macOS
Matrix: Upgrade-macOS
Matrix: Build-Windows
Annotations
7 errors
Test-macOS (4.14.1)
Process completed with exit code 20.
|
Upgrade-macOS (4.14.1)
Process completed with exit code 2.
|
Solvers-macOS (0install, 4.14.1)
Process completed with exit code 20.
|
Solvers-macOS (z3, 4.14.1)
Process completed with exit code 20.
|
Solvers-Linux (0install, 4.14.1)
Process completed with exit code 20.
|
Test-Linux (4.14.1)
Process completed with exit code 20.
|
Solvers-Linux (z3, 4.14.1)
Process completed with exit code 20.
|