Update CBMC proof tooling to latest releases #2482
tautschnigci.yml
on: push
downstream
44m 23s
linux-shared-libs
1m 46s
linux-no-cpu-extensions
1m 43s
windows
2m 43s
windows-shared-libs
2m 34s
windows-no-cpu-extensions
2m 20s
windows-app-verifier
23m 6s
macos-x64
2m 35s
macos
1m 42s
macos-no-cpu-extensions
1m 30s
openbsd
12m 8s
freebsd
9m 38s
linux-debug
1m 30s
windows-debug
2m 27s
macos-debug
1m 19s
Matrix: clang-sanitizers
Matrix: cross_compile
Matrix: linux-compat
Matrix: linux-compiler-compat
Matrix: windows-vc14
Matrix: windows-vc15
Matrix: windows-vc16
Annotations
1 error and 2 warnings
|
downstream
Process completed with exit code 1.
|
|
freebsd
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, cross-platform-actions/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
openbsd
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, cross-platform-actions/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|