Merge pull request #33 from pq-code-package/dependabot #79
all.yml
on: push
Matrix: Base / quickcheck-c90
Matrix: Base / quickcheck
Nix
/
check_modified_files
3s
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC
/
CBMC
18m 55s
Matrix: Extended / compiler_tests