4848 - run : cd tla && ./tlc.py mc consistency/MCMultiNodeReadsAlt.tla
4949
5050 - name : Upload TLC traces
51- uses : actions/upload-artifact@v4
51+ uses : actions/upload-artifact@v7
5252 if : ${{ failure() }}
5353 with :
5454 name : tlc-model-checking-consistency
9494 - run : ./tlc.py sim --num 500 --depth 50 consistency/MultiNodeReads.tla
9595
9696 - name : Upload TLC traces
97- uses : actions/upload-artifact@v4
97+ uses : actions/upload-artifact@v7
9898 if : ${{ failure() }}
9999 with :
100100 name : tlc-simulation-consistency
@@ -128,7 +128,7 @@ jobs:
128128 - run : cd tla && ./tlc.py --trace-name 1C3N mc --term-count 0 --request-count 3 --raft-configs 1C3N consensus/MCccfraft.tla
129129
130130 - name : Upload TLC traces
131- uses : actions/upload-artifact@v4
131+ uses : actions/upload-artifact@v7
132132 if : ${{ failure() }}
133133 with :
134134 name : tlc-model-checking-consensus
@@ -154,7 +154,7 @@ jobs:
154154 - run : ./tlc.py sim consensus/SIMccfraft.tla
155155
156156 - name : Upload TLC traces
157- uses : actions/upload-artifact@v4
157+ uses : actions/upload-artifact@v7
158158 if : ${{ failure() }}
159159 with :
160160 name : tlc-simulation-consensus
@@ -221,7 +221,7 @@ jobs:
221221 shell : bash
222222
223223 - name : Upload artifacts.
224- uses : actions/upload-artifact@v4
224+ uses : actions/upload-artifact@v7
225225 if : always()
226226 with :
227227 name : tlc-trace-validation-consensus
0 commit comments