Allow manual runs of long verification (#6536)

microsoft · Oct 8, 2024 · 521f80a · 521f80a
1 parent 0bcb487
commit 521f80a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/long-verification.yml b/.github/workflows/long-verification.yml
@@ -19,7 +19,7 @@ permissions:
 jobs:
   model-checking-with-atomic-reconfig-consensus:
     name: Model Checking With Atomic Reconfig - Consensus
-    if: ${{ contains(github.event.pull_request.labels.*.name, 'run-long-verification') }}
+    if: ${{ contains(github.event.pull_request.labels.*.name, 'run-long-verification') || github.event_name == 'workflow_dispatch' }}
     runs-on: [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
     container:
       image: ghcr.io/microsoft/ccf/ci/default:build-08-10-2024
@@ -47,7 +47,7 @@ jobs:
 
   model-checking-with-reconfig-consensus:
     name: Model Checking With Reconfig - Consensus
-    if: ${{ contains(github.event.pull_request.labels.*.name, 'run-long-verification') }}
+    if: ${{ contains(github.event.pull_request.labels.*.name, 'run-long-verification') || github.event_name == 'workflow_dispatch' }}
     runs-on: [self-hosted, 1ES.Pool=gha-virtual-ccf-sub]
     container:
       image: ghcr.io/microsoft/ccf/ci/default:build-08-10-2024
@@ -75,7 +75,7 @@ jobs:
 
   simulation-consensus:
     name: Simulation - Consensus
-    if: ${{ contains(github.event.pull_request.labels.*.name, 'run-long-verification') }}
+    if: ${{ contains(github.event.pull_request.labels.*.name, 'run-long-verification') || github.event_name == 'workflow_dispatch' }}
     runs-on: ubuntu-latest
     defaults:
       run: