Skip to content

Actions: tlaplus/vscode-tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
647 workflow runs
647 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #353 from hwayne/fix-label-reporting CI #534: Commit c077132 pushed by FedericoPonzi
December 20, 2024 22:37 1m 55s master
master
December 20, 2024 22:37 1m 55s
Remove unnecessary activation events CI #533: Pull request #356 opened by hwayne
December 20, 2024 20:26 2m 2s hwayne:clean-activationevents
hwayne:clean-activationevents
December 20, 2024 20:26 2m 2s
Parse pluscal labels inserted due to macro CI #532: Pull request #353 synchronize by hwayne
December 20, 2024 20:15 2m 19s hwayne:fix-label-reporting
hwayne:fix-label-reporting
December 20, 2024 20:15 2m 19s
tlaplus-dispatch Release #140: Repository dispatch triggered by lemmy
December 19, 2024 02:21 15m 9s
December 19, 2024 02:21 15m 9s
tlaplus-dispatch Release #139: Repository dispatch triggered by lemmy
December 19, 2024 02:11 1m 7s
December 19, 2024 02:11 1m 7s
tlaplus-dispatch Release #138: Repository dispatch triggered by lemmy
December 19, 2024 01:25 1m 4s
December 19, 2024 01:25 1m 4s
tlaplus-dispatch Release #137: Repository dispatch triggered by lemmy
December 16, 2024 19:29 6m 51s
December 16, 2024 19:29 6m 51s
tlaplus-dispatch Release #136: Repository dispatch triggered by lemmy
December 16, 2024 19:10 1m 8s
December 16, 2024 19:10 1m 8s
Rename error trace to the more user friendly Counterexample CI #531: Pull request #354 synchronize by FedericoPonzi
December 12, 2024 22:24 1m 52s FedericoPonzi:counterexample
FedericoPonzi:counterexample
December 12, 2024 22:24 1m 52s
Rename error trace to the more user friendly Counterexample CI #530: Pull request #354 opened by FedericoPonzi
December 12, 2024 22:23 2m 36s FedericoPonzi:counterexample
FedericoPonzi:counterexample
December 12, 2024 22:23 2m 36s
Parse pluscal labels inserted due to macro CI #529: Pull request #353 opened by hwayne
December 12, 2024 20:15 2m 17s hwayne:fix-label-reporting
hwayne:fix-label-reporting
December 12, 2024 20:15 2m 17s
tlaplus-dispatch Release #135: Repository dispatch triggered by lemmy
December 12, 2024 14:16 7m 2s
December 12, 2024 14:16 7m 2s
tlaplus-dispatch Release #134: Repository dispatch triggered by lemmy
December 12, 2024 13:58 1m 20s
December 12, 2024 13:58 1m 20s
tlaplus-dispatch Release #133: Repository dispatch triggered by lemmy
December 12, 2024 13:57 1m 7s
December 12, 2024 13:57 1m 7s
tlaplus-dispatch Release #132: Repository dispatch triggered by lemmy
December 8, 2024 16:50 6m 30s
December 8, 2024 16:50 6m 30s
tlaplus-dispatch Release #131: Repository dispatch triggered by lemmy
December 8, 2024 16:31 1m 4s
December 8, 2024 16:31 1m 4s
tlaplus-dispatch Release #130: Repository dispatch triggered by lemmy
December 6, 2024 21:28 1m 0s
December 6, 2024 21:28 1m 0s
tlaplus-dispatch Release #129: Repository dispatch triggered by lemmy
December 6, 2024 21:10 1m 17s
December 6, 2024 21:10 1m 17s
tlaplus-dispatch Release #128: Repository dispatch triggered by lemmy
December 6, 2024 20:01 13m 29s
December 6, 2024 20:01 13m 29s
tlaplus-dispatch Release #127: Repository dispatch triggered by lemmy
December 6, 2024 19:43 17m 50s
December 6, 2024 19:43 17m 50s
tlaplus-dispatch Release #126: Repository dispatch triggered by lemmy
December 6, 2024 19:31 4m 22s
December 6, 2024 19:31 4m 22s
tlaplus-dispatch Release #125: Repository dispatch triggered by lemmy
December 6, 2024 19:10 1m 7s
December 6, 2024 19:10 1m 7s
tlaplus-dispatch Release #124: Repository dispatch triggered by lemmy
December 3, 2024 03:03 12m 49s
December 3, 2024 03:03 12m 49s
tlaplus-dispatch Release #123: Repository dispatch triggered by lemmy
December 3, 2024 02:43 1m 0s
December 3, 2024 02:43 1m 0s
tlaplus-dispatch Release #122: Repository dispatch triggered by lemmy
December 2, 2024 21:02 6m 10s
December 2, 2024 21:02 6m 10s