Skip to content
Build and Test CBMC

Fix _Generic selection for pointer-to-array types #11380

Sign in to view logs

Fix _Generic selection for pointer-to-array types

Fix _Generic selection for pointer-to-array types #11380

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-ubuntu-24_04-make-clang
25m 1s
check-ubuntu-24_04-make-clang-smt-z3
7m 16s
check-ubuntu-24_04-make-gcc
18m 32s
check-macos-15-intel-make-clang
1h 28m 25s
check-vs-2025-cmake-build-and-test
57m 29s
check-ubuntu-22_04-cmake-gcc
16m 52s
check-macos-14-cmake-clang
1h 48m 39s
check-ubuntu-24_04-cmake-gcc-THOROUGH
21m 20s
windows-msi-package
28m 0s
check-ubuntu-24_04-cmake-gcc
29m 20s
check-ubuntu-22_04-make-clang
17m 52s
check-ubuntu-22_04-cmake-gcc-32bit
15m 14s
check-ubuntu-24_04-arm-cmake-gcc
12m 13s
check-ubuntu-24_04-cmake-gcc-14
14m 38s
check-vs-2022-make-build-and-test
9m 13s
check-docker-image
20m 33s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG
17m 4s
check-string-table
1m 42s
include-what-you-use
15m 11s
8h 44m 34s