cbmc 6.4.0 is latest now #2547
graebmci.yml
on: push
downstream
42m 19s
linux-shared-libs
1m 35s
linux-no-cpu-extensions
1m 37s
windows
2m 41s
windows-shared-libs
2m 31s
windows-no-cpu-extensions
1m 54s
windows-app-verifier
19m 36s
macos-x64
2m 30s
macos
1m 32s
macos-no-cpu-extensions
1m 51s
openbsd
12m 39s
freebsd
9m 42s
linux-debug
1m 32s
windows-debug
2m 47s
macos-debug
1m 36s
Matrix: clang-sanitizers
Matrix: cross_compile
Matrix: linux-compat
Matrix: linux-compiler-compat
Matrix: windows-vc14
Matrix: windows-vc15
Matrix: windows-vc16