Shorten MC run in CI verification to fit in CI timescale (#6531)

microsoft · Oct 7, 2024 · 261602d · 261602d
1 parent 2d4f690
commit 261602d
Showing 1 changed file with 2 additions and 1 deletion.
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:
@@ -116,7 +117,7 @@ jobs:
 
       - run: ./tlc.py mc consensus/MCabs.tla
       - run: ./tlc.py --trace-name 1C2N mc --term-count 2 --request-count 2 --raft-configs 1C2N consensus/MCccfraft.tla
-      - run: ./tlc.py --trace-name 1C3N mc --term-count 2 --request-count 2 --raft-configs 1C3N consensus/MCccfraft.tla
+      - run: ./tlc.py --trace-name 1C3N mc --term-count 0 --request-count 3 --raft-configs 1C3N consensus/MCccfraft.tla
 
       - name: Upload TLC traces
         uses: actions/upload-artifact@v4