Install cvc5 into deps/install in contrib/setup-cvc5.sh #706
Triggered via pull request
January 24, 2025 23:30
CyanoKobalamyne
Status
Cancelled
Total duration
15m 5s
Artifacts
–
Annotations
2 errors and 5 warnings
|
ubuntu-latest:cvc5
The run was canceled by @CyanoKobalamyne.
|
|
ubuntu-latest:cvc5
The operation was canceled.
|
|
ubuntu-latest:msat
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ubuntu-latest:yices2
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ubuntu-latest:btor
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ubuntu-latest:bitwuzla
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ubuntu-latest:z3
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|