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 support for new tlapm command-line syntax TLA+ PR Validation #687: Pull request #1085 synchronize by glondu
November 25, 2024 07:53 26m 50s glondu:support-for-tlapm-cmdline-api
glondu:support-for-tlapm-cmdline-api
November 25, 2024 07:53 26m 50s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #684: Pull request #1081 synchronize by lemmy
November 24, 2024 00:27 27m 12s mku-multiworkerdebugger
mku-multiworkerdebugger
November 24, 2024 00:27 27m 12s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #683: Pull request #1081 synchronize by lemmy
November 24, 2024 00:26 1m 39s mku-multiworkerdebugger
mku-multiworkerdebugger
November 24, 2024 00:26 1m 39s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #682: Pull request #1081 synchronize by lemmy
November 24, 2024 00:25 1m 22s mku-multiworkerdebugger
mku-multiworkerdebugger
November 24, 2024 00:25 1m 22s
tlaplus-dispatch CI #883: Repository dispatch triggered by lemmy
November 24, 2024 00:21 1h 7m 24s
November 24, 2024 00:21 1h 7m 24s
Cannot debug POSTCONDITION because debugger incorrectly delegates to CI #882: Commit fa98279 pushed by lemmy
November 24, 2024 00:00 1h 10m 45s master
master
November 24, 2024 00:00 1h 10m 45s
tlaplus-dispatch CI #881: Repository dispatch triggered by lemmy
November 23, 2024 00:06 1h 13m 43s
November 23, 2024 00:06 1h 13m 43s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #681: Pull request #1081 synchronize by lemmy
November 22, 2024 23:47 26m 29s mku-multiworkerdebugger
mku-multiworkerdebugger
November 22, 2024 23:47 26m 29s
ClassCastException due to ummuxed WorkerValue. CI #880: Commit 7d10d73 pushed by lemmy
November 22, 2024 23:46 1h 2m 56s master
master
November 22, 2024 23:46 1h 2m 56s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #680: Pull request #1081 synchronize by lemmy
November 22, 2024 23:45 1m 4s mku-multiworkerdebugger
mku-multiworkerdebugger
November 22, 2024 23:45 1m 4s
NullPointerException when last state of the trace is *not* in CI #879: Commit 36bea60 pushed by lemmy
November 22, 2024 23:41 5m 8s master
master
November 22, 2024 23:41 5m 8s
NullPointerException when last state of the trace is *not* in the model. TLA+ PR Validation #679: Pull request #1087 synchronize by lemmy
November 22, 2024 23:10 26m 55s mku-npepostcond
mku-npepostcond
November 22, 2024 23:10 26m 55s
NullPointerException when last state of the trace is *not* in the model. TLA+ PR Validation #678: Pull request #1087 synchronize by lemmy
November 22, 2024 21:58 26m 58s mku-npepostcond
mku-npepostcond
November 22, 2024 21:58 26m 58s
NullPointerException when last state of the trace is *not* in the model. TLA+ PR Validation #677: Pull request #1087 opened by lemmy
November 22, 2024 21:28 26m 38s mku-npepostcond
mku-npepostcond
November 22, 2024 21:28 26m 38s
tlaplus-dispatch CI #878: Repository dispatch triggered by lemmy
November 22, 2024 19:33 59m 49s
November 22, 2024 19:33 59m 49s
The exception was a java.lang.ArrayIndexOutOfBoundsException CI #877: Commit 94a4bae pushed by lemmy
November 22, 2024 19:14 1h 6m 19s master
master
November 22, 2024 19:14 1h 6m 19s
The exception was a java.lang.ArrayIndexOutOfBoundsException : Index 0 out of bounds for length 0 TLA+ PR Validation #676: Pull request #1086 opened by lemmy
November 22, 2024 18:46 28m 0s mku-ArrayIndexOutOfBounds
mku-ArrayIndexOutOfBounds
November 22, 2024 18:46 28m 0s
tlaplus-dispatch CI #876: Repository dispatch triggered by lemmy
November 22, 2024 18:07 1h 21m 44s
November 22, 2024 18:07 1h 21m 44s
Add unicode support to state / value serialization TLA+ PR Validation #675: Pull request #1079 synchronize by fhackett
November 22, 2024 18:03 29m 37s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
November 22, 2024 18:03 29m 37s
Strengthen DumpAsDotTest by asserting POSTCONDITION. CI #875: Commit 8739c17 pushed by lemmy
November 22, 2024 17:48 49m 45s master
master
November 22, 2024 17:48 49m 45s
TLC does not verify invariants or action properties for states that are CI #874: Commit 3f3d299 pushed by lemmy
November 22, 2024 17:42 6m 44s master
master
November 22, 2024 17:42 6m 44s
Correct the predecessors and level of *all* states after dropping CI #873: Commit 2c2943b pushed by lemmy
November 22, 2024 17:32 17m 10s master
master
November 22, 2024 17:32 17m 10s
When run with the -dump dot,constrained ... option, TLC does not verify invariants or action properties for states that are considered unreachable due to state or action constraints TLA+ PR Validation #673: Pull request #1078 synchronize by lemmy
November 22, 2024 17:15 26m 52s mku-constrained
mku-constrained
November 22, 2024 17:15 26m 52s
When run with the -dump dot,constrained ... option, TLC does not verify invariants or action properties for states that are considered unreachable due to state or action constraints TLA+ PR Validation #672: Pull request #1078 synchronize by lemmy
November 22, 2024 16:38 14m 23s mku-constrained
mku-constrained
November 22, 2024 16:38 14m 23s
Add support for new tlapm command-line syntax TLA+ PR Validation #671: Pull request #1085 opened by glondu
November 22, 2024 15:08 25m 52s glondu:support-for-tlapm-cmdline-api
glondu:support-for-tlapm-cmdline-api
November 22, 2024 15:08 25m 52s