Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
941 workflow runs
941 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
Add unicode support to state / value serialization TLA+ PR Validation #674: Pull request #1079 synchronize by fhackett
November 22, 2024 17:54 Action required fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
November 22, 2024 17:54 Action required
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