Merge pull request #35 from pq-code-package/clang21 #84
all.yml
on: push
Matrix: Base / quickcheck-c90
Matrix: Base / quickcheck
Nix
/
check_modified_files
5s
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC
/
CBMC
2m 4s
Matrix: Extended / compiler_tests