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

Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. TLC JPF Tests #35: Pull request #1122 synchronize by lemmy
January 16, 2025 17:22 2m 46s mku-gh1112
mku-gh1112
January 16, 2025 17:22 2m 46s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup TLC JPF Tests #34: Commit f050330 pushed by lemmy
January 16, 2025 17:22 2m 51s mku-gh1112
mku-gh1112
January 16, 2025 17:22 2m 51s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. TLC JPF Tests #33: Pull request #1122 synchronize by lemmy
January 16, 2025 17:20 46s mku-gh1112
mku-gh1112
January 16, 2025 17:20 46s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. TLA+ PR Validation #784: Pull request #1122 synchronize by lemmy
January 16, 2025 17:20 2m 48s mku-gh1112
mku-gh1112
January 16, 2025 17:20 2m 48s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup TLC JPF Tests #32: Commit f1b4cd8 pushed by lemmy
January 16, 2025 17:20 45s mku-gh1112
mku-gh1112
January 16, 2025 17:20 45s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. TLC JPF Tests #31: Pull request #1122 opened by lemmy
January 16, 2025 15:48 2m 46s mku-gh1112
mku-gh1112
January 16, 2025 15:48 2m 46s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. TLA+ PR Validation #783: Pull request #1122 opened by lemmy
January 16, 2025 15:48 28m 19s mku-gh1112
mku-gh1112
January 16, 2025 15:48 28m 19s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup TLC JPF Tests #30: Commit 11c1711 pushed by lemmy
January 16, 2025 15:48 2m 47s mku-gh1112
mku-gh1112
January 16, 2025 15:48 2m 47s
Performance Tests TLC Performance Tests TLC #119: Scheduled
January 16, 2025 05:57 1h 36m 20s master
master
January 16, 2025 05:57 1h 36m 20s
tlaplus-dispatch CI #946: Repository dispatch triggered by lemmy
January 16, 2025 01:28 59m 35s
January 16, 2025 01:28 59m 35s
Remove unused member. TLC JPF Tests #29: Commit ad438c1 pushed by lemmy
January 16, 2025 01:09 2m 44s master
master
January 16, 2025 01:09 2m 44s
Remove unused member. CI #945: Commit ad438c1 pushed by lemmy
January 16, 2025 01:09 53m 41s master
master
January 16, 2025 01:09 53m 41s
tlaplus-dispatch CI #944: Repository dispatch triggered by lemmy
January 15, 2025 22:51 58m 35s
January 15, 2025 22:51 58m 35s
Changed funding link to TLA⁺ Foundation website CI #943: Commit 8a06880 pushed by lemmy
January 15, 2025 22:32 55m 32s master
master
January 15, 2025 22:32 55m 32s
Changed funding link to TLA⁺ Foundation website TLA+ PR Validation #782: Pull request #1121 opened by ahelwer
January 15, 2025 22:19 27m 29s ahelwer:funding
ahelwer:funding
January 15, 2025 22:19 27m 29s
Performance Tests TLC Performance Tests TLC #118: Manually run by lemmy
January 15, 2025 21:28 1h 36m 27s master
master
January 15, 2025 21:28 1h 36m 27s
Performance Tests TLC Performance Tests TLC #117: Manually run by lemmy
January 15, 2025 21:22 30s master
master
January 15, 2025 21:22 30s
tlaplus-dispatch CI #940: Repository dispatch triggered by lemmy
January 13, 2025 23:11 57m 19s
January 13, 2025 23:11 57m 19s
Typo CI #939: Commit 9d9cbaa pushed by lemmy
January 13, 2025 22:53 2m 54s master
master
January 13, 2025 22:53 2m 54s
tlaplus-dispatch CI #938: Repository dispatch triggered by lemmy
January 13, 2025 19:21 58m 19s
January 13, 2025 19:21 58m 19s
Do not abort recover but continue recovery if it encounters a duplicate CI #937: Commit f19fbdc pushed by lemmy
January 13, 2025 19:03 1h 4m 16s master
master
January 13, 2025 19:03 1h 4m 16s
Refactor SimpleFilenameToStream for correctness and clarity TLA+ PR Validation #781: Pull request #1116 synchronize by Calvin-L
January 13, 2025 18:16 27m 41s cal-gh1114
cal-gh1114
January 13, 2025 18:16 27m 41s
Refactor SimpleFilenameToStream for correctness and clarity TLA+ PR Validation #780: Pull request #1116 synchronize by Calvin-L
January 13, 2025 18:14 2m 31s cal-gh1114
cal-gh1114
January 13, 2025 18:14 2m 31s
Do not abort recover but continue recovery if it encounters a duplicate fingerprint and -Dtlc2.tool.fp.DiskFPSet.error2warning=true is given. TLA+ PR Validation #779: Pull request #1119 synchronize by lemmy
January 13, 2025 18:00 27m 38s mku-gh1113
mku-gh1113
January 13, 2025 18:00 27m 38s
Do not abort recover but continue recovery if it encounters a duplicate fingerprint and -Dtlc2.tool.fp.DiskFPSet.error2warning=true is given. TLA+ PR Validation #778: Pull request #1119 opened by lemmy
January 13, 2025 17:58 2m 25s mku-gh1113
mku-gh1113
January 13, 2025 17:58 2m 25s