Merge pull request #1547 from diffblue/sequence-vs-typedef1-fix #5546
tautschnigpull-request-checks.yaml
on: push
check-ubuntu-24_04-make-clang
2m 40s
check-ubuntu-24_04-make-gcc
2m 22s
CentOS 8
1m 1s
check-macos-15-make-clang
1m 51s
Emscripten build
1m 44s
check-vs-2022-make-build-and-test
2m 8s
benchmarking
4m 6s
ebmc-spot
41s
examples
7s
check-ubuntu-24_04-make-clang-KNOWNBUG
34s
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.
|
|
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-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.
|
|
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.
|
|
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.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ebmc-binary
Expired
|
2.83 MB |
sha256:a8a34c531d0b55152fb46ac47e90306e6fea8660a5bc7db7fa5a34056ace9fda
|
|
|
hw-cbmc-binary
Expired
|
5.27 MB |
sha256:c641c1d54f21a4f896d082777747ce61ddfa02e9ad01a0623f794b145425faad
|
|
|
vlindex-binary
Expired
|
811 KB |
sha256:dcc61cc246a5d95e206405d5ab922ce2f3c7d354e43175e18e49e2b6d898b019
|
|