Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,096 workflow runs
1,096 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add new -dumptrace format "tlcaction" TLA+ PR Validation #703: Pull request #1088 synchronize by lemmy
December 6, 2024 20:28 27m 30s mku-TLCActionTrace
mku-TLCActionTrace
December 6, 2024 20:28 27m 30s
Add new -dumptrace format "tlcaction" TLA+ PR Validation #702: Pull request #1088 synchronize by lemmy
December 6, 2024 20:03 25m 8s mku-TLCActionTrace
mku-TLCActionTrace
December 6, 2024 20:03 25m 8s
tlaplus-dispatch CI #894: Repository dispatch triggered by lemmy
December 6, 2024 19:44 1h 17m 7s
December 6, 2024 19:44 1h 17m 7s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #701: Pull request #1081 synchronize by lemmy
December 6, 2024 19:43 43m 54s mku-multiworkerdebugger
mku-multiworkerdebugger
December 6, 2024 19:43 43m 54s
Removed parser support for set-except syntax CI #893: Commit 3bf6f25 pushed by Calvin-L
December 6, 2024 19:25 1h 2m 2s master
master
December 6, 2024 19:25 1h 2m 2s
tlaplus-dispatch CI #892: Repository dispatch triggered by lemmy
December 6, 2024 19:12 1h 1m 26s
December 6, 2024 19:12 1h 1m 26s
Level-checking: fix false acceptances in OpApplNode CI #891: Commit 673a71e pushed by Calvin-L
December 6, 2024 18:52 42m 47s master
master
December 6, 2024 18:52 42m 47s
tlaplus-dispatch CI #890: Repository dispatch triggered by lemmy
December 3, 2024 02:44 1h 10m 22s
December 3, 2024 02:44 1h 10m 22s
Rename property as 'tlc2.tool.impl.ModelConfig.nosymmetry' CI #889: Commit 2988c5f pushed by lemmy
December 3, 2024 02:25 1h 8m 56s master
master
December 3, 2024 02:25 1h 8m 56s
tlaplus-dispatch CI #888: Repository dispatch triggered by lemmy
December 2, 2024 20:43 1h 7m 0s
December 2, 2024 20:43 1h 7m 0s
Re-defined constants are not "in-lined" but re-evaluated on *every* CI #887: Commit 3a554f3 pushed by lemmy
December 2, 2024 20:24 1h 8m 25s master
master
December 2, 2024 20:24 1h 8m 25s
Support cyclic redefinitions (if `-Dtlc2.tool.impl.SpecProcessor.allo… CI #886: Commit 5990f3a pushed by lemmy
December 2, 2024 20:23 57s master
master
December 2, 2024 20:23 57s
Support cyclic redefinitions if -Dtlc2.tool.impl.SpecProcessor.allowCyclicRedefinitions=true is given TLA+ PR Validation #700: Pull request #825 synchronize by lemmy
December 2, 2024 19:55 27m 25s mku-cyclicredefs
mku-cyclicredefs
December 2, 2024 19:55 27m 25s
Support cyclic redefinitions if -Dtlc2.tool.impl.SpecProcessor.allowCyclicRedefinitions=true is given TLA+ PR Validation #699: Pull request #825 synchronize by lemmy
December 2, 2024 19:13 27m 29s mku-cyclicredefs
mku-cyclicredefs
December 2, 2024 19:13 27m 29s
Support cyclic redefinitions if -Dtlc2.tool.impl.SpecProcessor.allowCyclicRedefinitions=true is given TLA+ PR Validation #698: Pull request #825 synchronize by lemmy
December 2, 2024 19:12 2m 0s mku-cyclicredefs
mku-cyclicredefs
December 2, 2024 19:12 2m 0s
Support cyclic redefinitions if -Dtlc2.tool.impl.SpecProcessor.allowCyclicRedefinitions=true is given TLA+ PR Validation #697: Pull request #825 synchronize by lemmy
December 2, 2024 19:11 1m 0s mku-cyclicredefs
mku-cyclicredefs
December 2, 2024 19:11 1m 0s
Support cyclic redefinitions. TLC JPF Tests #23: Commit d98ebd2 pushed by lemmy
December 2, 2024 19:11 2m 45s mku-cyclicredefs
mku-cyclicredefs
December 2, 2024 19:11 2m 45s
Add unicode support to state / value serialization TLA+ PR Validation #696: Pull request #1079 synchronize by fhackett
November 29, 2024 03:12 27m 16s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
November 29, 2024 03:12 27m 16s
Add java property '-Dtlc2.tool.impl.ModelConfig.nosymmetry' TLA+ PR Validation #694: Pull request #1090 synchronize by Atafid
November 28, 2024 20:37 26m 39s Atafid:nosymmetry_java_property
Atafid:nosymmetry_java_property
November 28, 2024 20:37 26m 39s
Add java property '-Dtlc2.tool.impl.ModelConfig.nosymmetry' TLA+ PR Validation #693: Pull request #1090 opened by Atafid
November 28, 2024 19:10 27m 7s Atafid:nosymmetry_java_property
Atafid:nosymmetry_java_property
November 28, 2024 19:10 27m 7s
tlaplus-dispatch CI #885: Repository dispatch triggered by lemmy
November 28, 2024 02:54 1h 1m 41s
November 28, 2024 02:54 1h 1m 41s
NPE when -dumptrace is not combined with -debugger because Action CI #884: Commit b7b308e pushed by lemmy
November 28, 2024 02:35 1h 4m 8s master
master
November 28, 2024 02:35 1h 4m 8s
Add new -dumptrace format "tlcaction" TLA+ PR Validation #691: Pull request #1088 opened by lemmy
November 27, 2024 20:13 27m 26s mku-TLCActionTrace
mku-TLCActionTrace
November 27, 2024 20:13 27m 26s
Add unicode support to state / value serialization TLA+ PR Validation #690: Pull request #1079 synchronize by fhackett
November 27, 2024 02:21 13m 37s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
November 27, 2024 02:21 13m 37s
Add unicode support to state / value serialization TLA+ PR Validation #688: Pull request #1079 reopened by Calvin-L
November 26, 2024 01:19 26m 55s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
November 26, 2024 01:19 26m 55s