We _do_ want to run if we change the workflow!

microsoft · Oct 7, 2024 · 1dc8757 · 1dc8757
1 parent 8264ab7
commit 1dc8757
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci-verification.yml b/.github/workflows/ci-verification.yml
@@ -7,6 +7,7 @@ on:
     paths:
       - "tla/**"
       - "src/consensus/**"
+      - ".github/workflows/ci-verification.yml"
   workflow_dispatch:
 
 concurrency: