adding new to ci

microsoft · Oct 31, 2023 · 180f2ee · 180f2ee
1 parent b255a11
commit 180f2ee
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/tlaplus.yml b/.github/workflows/tlaplus.yml
@@ -28,6 +28,11 @@ jobs:
           cd tla/
           ./tlc.sh -workers auto consensus/MCccfraft.tla -dumpTrace tla MCccfraft.trace.tla -dumpTrace json MCccfraft.json
 
+      - name: MCccfraftAtomicReconfig.cfg
+        run: |
+          cd tla/
+          ./tlc.sh -workers auto -config consensus/MCccfraftAtomicReconfig.cfg consensus/MCccfraft.tla -dumpTrace tla MCccfraftAtomicReconfig.trace.tla -dumpTrace json MCccfraftAtomicReconfig.json
+
       - name: MCccfraftWithReconfig.cfg
         run: |
           cd tla/