Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,115 workflow runs
1,115 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 #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
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 #670: Pull request #1078 synchronize by lemmy
November 22, 2024 04:21 25m 53s mku-constrained
mku-constrained
November 22, 2024 04:21 25m 53s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #669: Pull request #1081 synchronize by lemmy
November 22, 2024 00:33 27m 32s mku-multiworkerdebugger
mku-multiworkerdebugger
November 22, 2024 00:33 27m 32s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #668: Pull request #1081 synchronize by lemmy
November 22, 2024 00:31 2m 37s mku-multiworkerdebugger
mku-multiworkerdebugger
November 22, 2024 00:31 2m 37s
tlaplus-dispatch CI #872: Repository dispatch triggered by lemmy
November 22, 2024 00:22 1h 7m 46s
November 22, 2024 00:22 1h 7m 46s
Prevent division by zero when calculating statistics in CI #871: Commit 556ba0d pushed by lemmy
November 22, 2024 00:03 1h 6m 50s master
master
November 22, 2024 00:03 1h 6m 50s
Add unicode support to state / value serialization TLA+ PR Validation #667: Pull request #1079 synchronize by fhackett
November 21, 2024 17:43 26m 50s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
November 21, 2024 17:43 26m 50s
Correct the predecessors and level of *all* states after dropping *finite* stuttering steps. TLA+ PR Validation #666: Pull request #1080 synchronize by lemmy
November 21, 2024 16:52 28m 55s mku-SWgetTrace
mku-SWgetTrace
November 21, 2024 16:52 28m 55s
Correct the predecessors and level of *all* states after dropping *finite* stuttering steps. TLA+ PR Validation #665: Pull request #1080 synchronize by lemmy
November 21, 2024 15:45 27m 21s mku-SWgetTrace
mku-SWgetTrace
November 21, 2024 15:45 27m 21s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #664: Pull request #1081 opened by lemmy
November 21, 2024 04:22 26m 57s mku-multiworkerdebugger
mku-multiworkerdebugger
November 21, 2024 04:22 26m 57s
ProTip! You can narrow down the results and go further in time using created:<2024-11-21 or the other filters available.