Remove CBMC CI configuration (#741)

This commit removes a configuration file that was being used for the "CBMC Proofs" CI check. The CI check will still run. The file is no longer needed.
aws · Feb 22, 2022 · 0c20198 · 0c20198
1 parent 84befdf
commit 0c20198
Showing 1 changed file with 0 additions and 30 deletions.
diff --git a/cbmc-ci/ci-config.yaml b/cbmc-ci/ci-config.yaml