CI: Add dependabot for CI dependencies #77
Triggered via pull request
September 3, 2025 01:45
mkannwischer
Status
Success
Total duration
23m 28s
Artifacts
–
all.yml
on: pull_request
Matrix: Base / quickcheck-c90
Matrix: Base / quickcheck
Nix
/
check_modified_files
6s
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC
/
CBMC
18m 21s
Matrix: Extended / compiler_tests