Run proofs with CBMC 6.2.0 #2431
graebmci.yml
on: push
downstream
41m 46s
linux-shared-libs
1m 43s
linux-no-cpu-extensions
1m 33s
windows
2m 35s
windows-shared-libs
2m 6s
windows-no-cpu-extensions
2m 31s
windows-app-verifier
22m 25s
macos-x64
2m 42s
macos
1m 27s
macos-no-cpu-extensions
1m 18s
openbsd
12m 18s
freebsd
9m 20s
linux-debug
1m 30s
windows-debug
2m 55s
macos-debug
1m 33s
Matrix: clang-sanitizers
Matrix: cross_compile
Matrix: linux-compat
Matrix: linux-compiler-compat
Matrix: windows-vc14
Matrix: windows-vc15
Matrix: windows-vc16
Annotations
2 warnings
|
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/
|