Merge pull request #44 from pq-code-package/dependabot/github_actions… #98
all.yml
on: push
Matrix: Base / quickcheck-c90
Matrix: Base / quickcheck
Nix
/
check_modified_files
4s
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC
/
CBMC
1m 48s
Matrix: Extended / compiler_tests