From c6a58a5ad0e870d6f9dfc7b7a0e39172992aa8b9 Mon Sep 17 00:00:00 2001 From: Michael Cho Date: Mon, 29 Jul 2024 19:47:38 -0400 Subject: [PATCH] workflows/triage: label `cbmc` as "long build" --- .github/workflows/triage.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/triage.yml b/.github/workflows/triage.yml index 07e63edc8846..79885b988389 100644 --- 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|\