Merge pull request #178918 from Homebrew/cbmc-long-build

workflows/triage: label `cbmc` as "long build"
Homebrew · Jul 30, 2024 · dd3a258 · dd3a258
2 parents f3e350c + c6a58a5
commit dd3a258
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/triage.yml b/.github/workflows/triage.yml
@@ -224,6 +224,7 @@ jobs:
                 apache-pulsar|\
                 arangodb|\
                 aws-sdk-cpp|\
+                cbmc|\
                 cp2k|\
                 deno|\
                 dotnet|\