Merge pull request #8657 from miccal/cbmc_audit

Remove cbmc from GITHUB_PRERELEASE_ALLOWLIST
This commit is contained in:
Issy Long
2020-09-08 23:00:12 +01:00
committed by GitHub
-1
View File
@@ -29,7 +29,6 @@ module SharedAudits
GITHUB_PRERELEASE_ALLOWLIST = {
"amd-power-gadget" => :all,
"cbmc" => "5.12.6",
"elm-format" => "0.8.3",
"gitless" => "0.8.8",
"infrakit" => "0.5",