Skip to content

Actions: tlaplus/tlaplus

Actions

CI

Actions

Loading...
Loading

Showing runs from all workflows named CI
314 workflow run results
314 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch CI #964: Repository dispatch triggered by lemmy
January 27, 2025 22:46 1h 0m 6s
January 27, 2025 22:46 1h 0m 6s
Change syntax corpus runner to use JUnit.Assume CI #963: Commit 3bb3dc9 pushed by lemmy
January 27, 2025 22:27 55m 38s master
master
January 27, 2025 22:27 55m 38s
tlaplus-dispatch CI #962: Repository dispatch triggered by lemmy
January 21, 2025 22:29 1h 2m 46s
January 21, 2025 22:29 1h 2m 46s
Clean up (and inline) SimpleFilenameToStream.getLibraryPaths() CI #961: Commit df55052 pushed by Calvin-L
January 21, 2025 22:11 55m 58s master
master
January 21, 2025 22:11 55m 58s
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
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
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
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
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
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. 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
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
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
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
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