Run proofs with CBMC 6.2.0 (#1149) #2432
DmitriyMusatkinci.yml
on: push
downstream
40m 26s
linux-shared-libs
1m 35s
linux-no-cpu-extensions
1m 40s
windows
2m 17s
windows-shared-libs
2m 25s
windows-no-cpu-extensions
2m 6s
windows-app-verifier
22m 1s
macos-x64
2m 45s
macos
1m 17s
macos-no-cpu-extensions
2m 0s
openbsd
11m 37s
freebsd
9m 21s
linux-debug
1m 28s
windows-debug
2m 20s
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
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/
|