Remove cbmc from GITHUB_PRERELEASE_ALLOWLIST
This commit is contained in:
parent
455965de80
commit
c22c6c4a93
@ -29,7 +29,6 @@ module SharedAudits
|
|||||||
|
|
||||||
GITHUB_PRERELEASE_ALLOWLIST = {
|
GITHUB_PRERELEASE_ALLOWLIST = {
|
||||||
"amd-power-gadget" => :all,
|
"amd-power-gadget" => :all,
|
||||||
"cbmc" => "5.12.6",
|
|
||||||
"elm-format" => "0.8.3",
|
"elm-format" => "0.8.3",
|
||||||
"gitless" => "0.8.8",
|
"gitless" => "0.8.8",
|
||||||
"infrakit" => "0.5",
|
"infrakit" => "0.5",
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user