Skip to content
Build and Test CBMC

Update third-party miniz to 0c30a001bc3c70 #10789

Sign in to view logs

Update third-party miniz to 0c30a001bc3c70

Update third-party miniz to 0c30a001bc3c70 #10789

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-ubuntu-20_04-cmake-gcc
1m 44s
check-ubuntu-20_04-make-clang
14m 37s
check-ubuntu-20_04-make-gcc
11m 42s
check-ubuntu-22_04-cmake-gcc
14m 44s
check-ubuntu-22_04-make-clang
14m 41s
check-ubuntu-24_04-cmake-gcc-14
14m 4s
check-docker-image
18m 21s
check-macos-13-make-clang
18m 43s
check-macos-14-cmake-clang
6m 44s
check-string-table
2m 6s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
48s
check-ubuntu-20_04-cmake-gcc-THOROUGH
50s
check-ubuntu-20_04-make-clang-smt-z3
14m 34s
check-ubuntu-22_04-cmake-gcc-32bit
13m 46s
check-vs-2019-cmake-build-and-test
49m 16s
check-vs-2022-make-build-and-test
36m 27s
include-what-you-use
23m 15s
windows-msi-package
22m 2s
4h 38m 24s