Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch CI #960: Repository dispatch triggered by lemmy
January 18, 2025 04:28 58m 12s
January 18, 2025 04:28 58m 12s
Fix path resolution on Windows CI #959: Commit f9d55d6 pushed by Calvin-L
January 18, 2025 04:10 58m 28s master
master
January 18, 2025 04:10 58m 28s
Fix path resolution on Windows TLA+ PR Validation #788: Pull request #1124 opened by Calvin-L
January 18, 2025 03:19 26m 47s cal-fix-windows-path-resolution
cal-fix-windows-path-resolution
January 18, 2025 03:19 26m 47s
tlaplus-dispatch CI #958: Repository dispatch triggered by lemmy
January 18, 2025 01:20 56m 41s
January 18, 2025 01:20 56m 41s
Refactor SimpleFilenameToStream for correctness and clarity CI #957: Commit eaeb041 pushed by Calvin-L
January 18, 2025 01:02 1h 0m 11s master
master
January 18, 2025 01:02 1h 0m 11s
Refactor SimpleFilenameToStream for correctness and clarity TLA+ PR Validation #787: Pull request #1116 synchronize by Calvin-L
January 18, 2025 00:04 26m 24s cal-gh1114
cal-gh1114
January 18, 2025 00:04 26m 24s
Refactor SimpleFilenameToStream for correctness and clarity TLC JPF Tests #39: Commit eaeb041 pushed by Calvin-L
January 18, 2025 00:04 2m 46s cal-gh1114
cal-gh1114
January 18, 2025 00:04 2m 46s
tlaplus-dispatch CI #956: Repository dispatch triggered by lemmy
January 17, 2025 05:25 57m 11s
January 17, 2025 05:25 57m 11s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup CI #955: Commit a70d117 pushed by lemmy
January 17, 2025 05:07 1h 2m 32s master
master
January 17, 2025 05:07 1h 2m 32s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup TLC JPF Tests #38: Commit a70d117 pushed by lemmy
January 17, 2025 05:07 2m 47s master
master
January 17, 2025 05:07 2m 47s
tlaplus-dispatch CI #954: Repository dispatch triggered by lemmy
January 16, 2025 19:33 18m 19s
January 16, 2025 19:33 18m 19s
Remove superfluous word from README.md. CI #953: Commit 2fe9204 pushed by lemmy
January 16, 2025 19:15 1h 3m 55s master
master
January 16, 2025 19:15 1h 3m 55s
Performance Tests TLC Performance Tests TLC #125: Manually run by lemmy
January 16, 2025 18:46 9h 37m 14s master
master
January 16, 2025 18:46 9h 37m 14s
Performance Tests TLC Performance Tests TLC #124: Manually run by lemmy
January 16, 2025 18:41 43s master
master
January 16, 2025 18:41 43s
Performance Tests TLC Performance Tests TLC #123: Manually run by lemmy
January 16, 2025 18:39 1m 56s master
master
January 16, 2025 18:39 1m 56s
Change to instance type with higher storage capacity when running per… CI #950: Commit 0f2bfe6 pushed by lemmy
January 16, 2025 18:38 9s master
master
January 16, 2025 18:38 9s
Performance Tests TLC Performance Tests TLC #122: Manually run by lemmy
January 16, 2025 18:35 1m 55s master
master
January 16, 2025 18:35 1m 55s
Performance Tests TLC Performance Tests TLC #121: Manually run by lemmy
January 16, 2025 18:31 2m 22s master
master
January 16, 2025 18:31 2m 22s
Performance Tests TLC Performance Tests TLC #120: Manually run by lemmy
January 16, 2025 18:20 8m 19s master
master
January 16, 2025 18:20 8m 19s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. TLC JPF Tests #37: Pull request #1122 synchronize by lemmy
January 16, 2025 17:41 2m 44s mku-gh1112
mku-gh1112
January 16, 2025 17:41 2m 44s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. TLA+ PR Validation #786: Pull request #1122 synchronize by lemmy
January 16, 2025 17:41 27m 26s mku-gh1112
mku-gh1112
January 16, 2025 17:41 27m 26s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup TLC JPF Tests #36: Commit 7a83c2e pushed by lemmy
January 16, 2025 17:41 2m 46s mku-gh1112
mku-gh1112
January 16, 2025 17:41 2m 46s
Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. TLA+ PR Validation #785: Pull request #1122 synchronize by lemmy
January 16, 2025 17:22 19m 6s mku-gh1112
mku-gh1112
January 16, 2025 17:22 19m 6s
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