Skip to content

Actions: tlaplus/tlaplus

Actions

CI

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch CI #854: Repository dispatch triggered by lemmy
November 8, 2024 18:50 1h 5m 54s
November 8, 2024 18:50 1h 5m 54s
Prevent tests from cluttering the workspace with generated files. CI #853: Commit 6ba8ef9 pushed by lemmy
November 8, 2024 18:31 1h 0m 51s master
master
November 8, 2024 18:31 1h 0m 51s
tlaplus-dispatch CI #852: Repository dispatch triggered by lemmy
November 7, 2024 21:49 1h 6m 51s
November 7, 2024 21:49 1h 6m 51s
SANY: Only add variant once to commandVariants. CI #851: Commit 17e5d77 pushed by lemmy
November 7, 2024 21:30 1h 6m 55s master
master
November 7, 2024 21:30 1h 6m 55s
tlaplus-dispatch CI #850: Repository dispatch triggered by lemmy
November 7, 2024 17:20 1h 5m 15s
November 7, 2024 17:20 1h 5m 15s
Continue job even if publishing to OSS Sonatype fails. CI #849: Commit 7a24629 pushed by lemmy
November 7, 2024 17:02 1h 7m 10s master
master
November 7, 2024 17:02 1h 7m 10s
Evaluate the ALIAS expression on counterexamples generated by liveness CI #848: Commit 46480fe pushed by lemmy
November 7, 2024 15:57 18m 30s master
master
November 7, 2024 15:57 18m 30s
tlaplus-dispatch CI #847: Repository dispatch triggered by lemmy
November 4, 2024 14:49 1h 5m 28s
November 4, 2024 14:49 1h 5m 28s
Cancel PR CI workflow runs when newer changes are pushed CI #846: Commit f68cb71 pushed by lemmy
November 4, 2024 14:30 1h 20m 3s master
master
November 4, 2024 14:30 1h 20m 3s
tlaplus-dispatch CI #845: Repository dispatch triggered by lemmy
November 2, 2024 03:07 1h 10m 56s
November 2, 2024 03:07 1h 10m 56s
Cannot debug TLC VIEW with TLA+ Debugger. CI #844: Commit a405b3b pushed by lemmy
November 2, 2024 02:49 1h 5m 47s master
master
November 2, 2024 02:49 1h 5m 47s
tlaplus-dispatch CI #843: Repository dispatch triggered by lemmy
November 1, 2024 22:35 1h 6m 52s
November 1, 2024 22:35 1h 6m 52s
ClassCastException when evaluating TLCGet("spec") with coverage enabled. CI #842: Commit 44d0b62 pushed by lemmy
November 1, 2024 22:16 1h 3m 34s master
master
November 1, 2024 22:16 1h 3m 34s
tlaplus-dispatch CI #841: Repository dispatch triggered by lemmy
November 1, 2024 20:35 1h 6m 20s
November 1, 2024 20:35 1h 6m 20s
SANY XML: add pretty-print CLI option CI #840: Commit fcfc071 pushed by lemmy
November 1, 2024 20:17 1h 5m 35s master
master
November 1, 2024 20:17 1h 5m 35s
tlaplus-dispatch CI #839: Repository dispatch triggered by lemmy
October 31, 2024 22:52 1h 4m 28s
October 31, 2024 22:52 1h 4m 28s
SANY XML exporter: use local schema file CI #838: Commit 726e6ef pushed by lemmy
October 31, 2024 22:33 1h 0m 44s master
master
October 31, 2024 22:33 1h 0m 44s
tlaplus-dispatch CI #837: Repository dispatch triggered by lemmy
October 30, 2024 22:39 1h 10m 22s
October 30, 2024 22:39 1h 10m 22s
Annotate the GraphNode if it fulfills the promises. CI #836: Commit dd44222 pushed by lemmy
October 30, 2024 22:19 1h 6m 15s master
master
October 30, 2024 22:19 1h 6m 15s
tlaplus-dispatch CI #835: Repository dispatch triggered by lemmy
October 19, 2024 22:14 1h 4m 9s
October 19, 2024 22:14 1h 4m 9s
Add syntax tests to improve parser code coverage CI #834: Commit cc65eef pushed by Calvin-L
October 19, 2024 21:56 59m 37s master
master
October 19, 2024 21:56 59m 37s
tlaplus-dispatch CI #833: Repository dispatch triggered by lemmy
October 18, 2024 23:29 1h 3m 9s
October 18, 2024 23:29 1h 3m 9s
Removed dead code from JavaCC-generated parser CI #832: Commit 98c1685 pushed by Calvin-L
October 18, 2024 23:10 58m 20s master
master
October 18, 2024 23:10 58m 20s
tlaplus-dispatch CI #831: Repository dispatch triggered by lemmy
October 18, 2024 21:02 1h 19m 38s
October 18, 2024 21:02 1h 19m 38s
tlaplus-dispatch CI #830: Repository dispatch triggered by lemmy
October 18, 2024 20:52 1h 6m 35s
October 18, 2024 20:52 1h 6m 35s