Bump the version number after the release of 2.2.0~beta1 #2482
Triggered via pull request
January 17, 2024 18:15
kit-ty-kate
Status
Failure
Total duration
1h 12m 43s
Artifacts
2
main.yml
on: pull_request
Analyse
7s
Cold-Linux
6m 1s
Matrix: Solvers-Linux
Matrix: Test-Linux
Matrix: Upgrade-Linux
Matrix: Solvers-macOS
Matrix: Upgrade-macOS
Matrix: Build-Windows
Annotations
1 error
|
Solvers-macOS (z3, 4.14.1)
Process completed with exit code 10.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
opam-exe-i686-pc-windows-4.14.1-x86_64-pc-cygwin
Expired
|
9.8 MB |
|
|
opam-exe-x86_64-pc-windows-4.14.1-x86_64-pc-cygwin
Expired
|
12.2 MB |
|