Repository navigation
cvc5: Add versions 1.4.0, 1.4.1 #4533
Triggered via pull request
September 27, 2026 09:14
luhenry
Status
Success
Total duration
1m 42s
Artifacts
–
pr-checks.yml
on: pull_request
check_commit_messages
1m 39s
check_patches
1m 2s
check_packages_yaml
1m 37s
Annotations
3 notices
|
check_patches
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
check_packages_yaml
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
check_commit_messages
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|