CI: Add dependabot for CI dependencies #78
all.yml
on: pull_request
Matrix: Base / quickcheck-c90
Matrix: Base / quickcheck
Nix
/
check_modified_files
7s
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC
/
CBMC
18m 25s
Matrix: Extended / compiler_tests