CI: Add ACVP tests in CI #20
all.yml
on: pull_request
Nix
/
check_modified_files
4s
Matrix: Base / quickcheck
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC
/
CBMC
2m 0s