workflows/triage: label cbmc as "long build"

Homebrew · Jul 29, 2024 · c6a58a5 · c6a58a5
1 parent 017c1dd
commit c6a58a5
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|\