LTL_sequence_matches now throws sva_sequence_match_unsupportedt
#4149
kroeningpull-request-checks.yaml
on: pull_request
check-ubuntu-24_04-make-clang
2m 15s
check-ubuntu-24_04-make-gcc
2m 1s
CentOS 8
1m 2s
check-macos-15-make-clang
1m 45s
Emscripten build
1m 49s
check-vs-2022-make-build-and-test
2m 29s
Annotations
12 warnings
|
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
|
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release.
A separate `actions/cache/restore` step should be used instead.
See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ebmc-binary
Expired
|
2.72 MB |
sha256:2b865ad9682cbee565a4547c97718b6169db680142981963d8198b12c0b4231d
|
|
|
vlindex-binary
Expired
|
794 KB |
sha256:492e2624b93de08696a0c3ad17d24c9582ae437fcf3cabbaaa24093bf8a62a25
|
|