Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch CI #936: Repository dispatch triggered by lemmy
January 11, 2025 02:00 1h 0m 49s
January 11, 2025 02:00 1h 0m 49s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup CI #935: Commit 02c95e5 pushed by lemmy
January 11, 2025 01:42 58m 47s master
master
January 11, 2025 01:42 58m 47s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup TLC JPF Tests #28: Commit 02c95e5 pushed by lemmy
January 11, 2025 01:42 3m 55s master
master
January 11, 2025 01:42 3m 55s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following TLC JPF Tests #27: Pull request #1115 synchronize by lemmy
January 11, 2025 01:05 2m 49s mku-gh1112
mku-gh1112
January 11, 2025 01:05 2m 49s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following TLA+ PR Validation #777: Pull request #1115 synchronize by lemmy
January 11, 2025 01:05 27m 47s mku-gh1112
mku-gh1112
January 11, 2025 01:05 27m 47s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup TLC JPF Tests #26: Commit abb5e63 pushed by lemmy
January 11, 2025 01:05 2m 51s mku-gh1112
mku-gh1112
January 11, 2025 01:05 2m 51s
Refactor SimpleFilenameToStream for correctness and clarity TLA+ PR Validation #776: Pull request #1116 synchronize by Calvin-L
January 11, 2025 00:55 27m 35s cal-gh1114
cal-gh1114
January 11, 2025 00:55 27m 35s
Refactor SimpleFilenameToStream for correctness and clarity TLA+ PR Validation #775: Pull request #1116 synchronize by Calvin-L
January 11, 2025 00:52 4m 10s cal-gh1114
cal-gh1114
January 11, 2025 00:52 4m 10s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following TLA+ PR Validation #774: Pull request #1115 synchronize by lemmy
January 11, 2025 00:24 27m 18s mku-gh1112
mku-gh1112
January 11, 2025 00:24 27m 18s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following TLC JPF Tests #25: Pull request #1115 synchronize by lemmy
January 11, 2025 00:24 2m 41s mku-gh1112
mku-gh1112
January 11, 2025 00:24 2m 41s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup TLC JPF Tests #24: Commit a9262f8 pushed by lemmy
January 11, 2025 00:24 4m 13s mku-gh1112
mku-gh1112
January 11, 2025 00:24 4m 13s
Refactor SimpleFilenameToStream for correctness and clarity TLA+ PR Validation #773: Pull request #1116 synchronize by Calvin-L
January 10, 2025 20:52 10m 57s cal-gh1114
cal-gh1114
January 10, 2025 20:52 10m 57s
Refactor SimpleFilenameToStream for correctness and clarity TLA+ PR Validation #772: Pull request #1116 synchronize by Calvin-L
January 10, 2025 20:10 6m 44s cal-gh1114
cal-gh1114
January 10, 2025 20:10 6m 44s
Refactor SimpleFilenameToStream for correctness and clarity TLA+ PR Validation #771: Pull request #1116 opened by Calvin-L
January 10, 2025 20:10 59s cal-gh1114
cal-gh1114
January 10, 2025 20:10 59s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following TLA+ PR Validation #770: Pull request #1115 synchronize by lemmy
January 10, 2025 19:53 4h 31m 10s mku-gh1112
mku-gh1112
January 10, 2025 19:53 4h 31m 10s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following TLA+ PR Validation #769: Pull request #1115 opened by lemmy
January 10, 2025 18:52 1h 1m 13s mku-gh1112
mku-gh1112
January 10, 2025 18:52 1h 1m 13s
Lasso-Shaped counterexample fails to reconstruct when VIEW present. TLA+ PR Validation #768: Pull request #1111 synchronize by lemmy
January 8, 2025 23:26 27m 3s mku-gh1045
mku-gh1045
January 8, 2025 23:26 27m 3s
tlaplus-dispatch CI #934: Repository dispatch triggered by lemmy
January 8, 2025 20:16 1h 2m 47s
January 8, 2025 20:16 1h 2m 47s
Lasso-Shaped counterexample fails to reconstruct when VIEW present. TLA+ PR Validation #767: Pull request #1111 opened by lemmy
January 8, 2025 20:14 13m 25s mku-gh1045
mku-gh1045
January 8, 2025 20:14 13m 25s
Include an optional label in the dot graph for liveness checking. CI #933: Commit 66d04b7 pushed by lemmy
January 8, 2025 19:56 1h 3m 4s master
master
January 8, 2025 19:56 1h 3m 4s
Bogus Error: The configuration file substitutes constant C with non-constant C2 when C2 is in fact constant. TLA+ PR Validation #766: Pull request #1110 opened by lemmy
January 7, 2025 17:53 13m 16s mku-gh1109
mku-gh1109
January 7, 2025 17:53 13m 16s
Add unicode support to state / value serialization TLA+ PR Validation #765: Pull request #1079 synchronize by fhackett
January 6, 2025 23:52 27m 59s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
January 6, 2025 23:52 27m 59s
tlaplus-dispatch CI #932: Repository dispatch triggered by lemmy
January 4, 2025 01:43 1h 1m 24s
January 4, 2025 01:43 1h 1m 24s
Switch from permissive to restricted workflow permissions for the (ep… CI #931: Commit 231fdf7 pushed by lemmy
January 4, 2025 01:25 59m 53s master
master
January 4, 2025 01:25 59m 53s
tlaplus-dispatch CI #930: Repository dispatch triggered by lemmy
January 4, 2025 00:42 1h 6m 12s
January 4, 2025 00:42 1h 6m 12s