Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Cancel PR CI workflow runs when newer changes are pushed TLA+ PR Validation #630: Pull request #1061 opened by ahelwer
November 4, 2024 13:01 27m 4s ahelwer:ci-cancel-new-changes
ahelwer:ci-cancel-new-changes
November 4, 2024 13:01 27m 4s
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
Cannot debug TLC VIEW with TLA+ Debugger. TLA+ PR Validation #629: Pull request #1060 synchronize by lemmy
November 2, 2024 02:01 27m 43s mku-gh1052
mku-gh1052
November 2, 2024 02:01 27m 43s
Cannot debug TLC VIEW with TLA+ Debugger. TLA+ PR Validation #628: Pull request #1060 synchronize by lemmy
November 2, 2024 01:03 26m 56s mku-gh1052
mku-gh1052
November 2, 2024 01:03 26m 56s
Cannot debug TLC VIEW with TLA+ Debugger. TLA+ PR Validation #627: Pull request #1060 synchronize by lemmy
November 2, 2024 00:46 26m 17s mku-gh1052
mku-gh1052
November 2, 2024 00:46 26m 17s
Cannot debug TLC VIEW with TLA+ Debugger. TLA+ PR Validation #626: Pull request #1060 synchronize by lemmy
November 2, 2024 00:25 26m 59s mku-gh1052
mku-gh1052
November 2, 2024 00:25 26m 59s
Cannot debug TLC VIEW with TLA+ Debugger. TLA+ PR Validation #625: Pull request #1060 opened by lemmy
November 1, 2024 22:40 26m 27s mku-gh1052
mku-gh1052
November 1, 2024 22:40 26m 27s
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
ClassCastException when evaluating TLCGet("spec") with coverage enabled. TLA+ PR Validation #624: Pull request #1059 opened by lemmy
November 1, 2024 21:16 33m 27s mku-CCETLCGetSpec
mku-CCETLCGetSpec
November 1, 2024 21:16 33m 27s
SANY XML: added CLI help text TLA+ PR Validation #623: Pull request #1058 synchronize by ahelwer
November 1, 2024 20:42 48m 56s ahelwer:parser-xml-help
ahelwer:parser-xml-help
November 1, 2024 20:42 48m 56s
SANY XML: added CLI help text TLA+ PR Validation #622: Pull request #1058 opened by ahelwer
November 1, 2024 20:41 26m 28s ahelwer:parser-xml-help
ahelwer:parser-xml-help
November 1, 2024 20:41 26m 28s
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
SANY XML: pretty-print by default and add terse CLI option TLA+ PR Validation #621: Pull request #1057 synchronize by ahelwer
November 1, 2024 19:22 27m 51s ahelwer:parser-xml-pretty-printer
ahelwer:parser-xml-pretty-printer
November 1, 2024 19:22 27m 51s
SANY XML: silence stdout during parsing then restore TLA+ PR Validation #620: Pull request #1056 synchronize by ahelwer
November 1, 2024 15:38 27m 19s ahelwer:parser-xml-silence-sany
ahelwer:parser-xml-silence-sany
November 1, 2024 15:38 27m 19s
SANY XML: silence stdout during parsing then restore TLA+ PR Validation #619: Pull request #1056 synchronize by ahelwer
November 1, 2024 14:35 37m 9s ahelwer:parser-xml-silence-sany
ahelwer:parser-xml-silence-sany
November 1, 2024 14:35 37m 9s
SANY XML: pretty-print by default and add terse CLI option TLA+ PR Validation #618: Pull request #1057 opened by ahelwer
November 1, 2024 14:31 31m 54s ahelwer:parser-xml-pretty-printer
ahelwer:parser-xml-pretty-printer
November 1, 2024 14:31 31m 54s
SANY XML: silence stdout during parsing then restore TLA+ PR Validation #617: Pull request #1056 synchronize by ahelwer
November 1, 2024 14:30 26m 55s ahelwer:parser-xml-silence-sany
ahelwer:parser-xml-silence-sany
November 1, 2024 14:30 26m 55s
SANY XML: silence stdout during parsing then restore TLA+ PR Validation #616: Pull request #1056 synchronize by ahelwer
November 1, 2024 14:29 26m 52s ahelwer:parser-xml-silence-sany
ahelwer:parser-xml-silence-sany
November 1, 2024 14:29 26m 52s
SANY XML: silence stdout during parsing then restore TLA+ PR Validation #615: Pull request #1056 opened by ahelwer
November 1, 2024 14:22 26m 48s ahelwer:parser-xml-silence-sany
ahelwer:parser-xml-silence-sany
November 1, 2024 14:22 26m 48s
SANY XML Exporter: added CLI help text and pretty-print option TLA+ PR Validation #614: Pull request #1055 synchronize by ahelwer
November 1, 2024 13:38 26m 42s ahelwer:parser-xml-pretty-print
ahelwer:parser-xml-pretty-print
November 1, 2024 13:38 26m 42s
SANY XML Exporter: added CLI help text and pretty-print option TLA+ PR Validation #613: Pull request #1055 synchronize by ahelwer
November 1, 2024 00:21 26m 27s ahelwer:parser-xml-pretty-print
ahelwer:parser-xml-pretty-print
November 1, 2024 00:21 26m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-11-01 or the other filters available.