Skip to content

Actions: tlaplus/vscode-tlaplus

Actions

CI

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update config description for java home, Java 8 is no longer supported CI #543: Commit 4991101 pushed by FedericoPonzi
December 23, 2024 14:41 2m 21s master
master
December 23, 2024 14:41 2m 21s
Update config description for java home, Java 8 is no longer supported CI #542: Pull request #359 opened by FedericoPonzi
December 23, 2024 14:38 1m 51s FedericoPonzi:update-doc
FedericoPonzi:update-doc
December 23, 2024 14:38 1m 51s
Improve error message for wrong java home path CI #541: Commit 539ccf1 pushed by FedericoPonzi
December 23, 2024 14:15 2m 12s master
master
December 23, 2024 14:15 2m 12s
Improve error message for wrong java home path CI #540: Pull request #358 synchronize by FedericoPonzi
December 23, 2024 14:13 2m 5s FedericoPonzi:improve-error
FedericoPonzi:improve-error
December 23, 2024 14:13 2m 5s
Improve error message for wrong java home path CI #539: Pull request #358 opened by FedericoPonzi
December 23, 2024 14:13 1m 57s FedericoPonzi:improve-error
FedericoPonzi:improve-error
December 23, 2024 14:13 1m 57s
Merge pull request #357 from FedericoPonzi/fix-warning CI #538: Commit 0791a77 pushed by FedericoPonzi
December 23, 2024 14:08 2m 19s master
master
December 23, 2024 14:08 2m 19s
Fix eslint warning CI #537: Pull request #357 synchronize by FedericoPonzi
December 23, 2024 14:04 2m 11s FedericoPonzi:fix-warning
FedericoPonzi:fix-warning
December 23, 2024 14:04 2m 11s
Fix eslint warning CI #536: Pull request #357 opened by FedericoPonzi
December 23, 2024 14:04 2m 13s FedericoPonzi:fix-warning
FedericoPonzi:fix-warning
December 23, 2024 14:04 2m 13s
Merge pull request #356 from hwayne/clean-activationevents CI #535: Commit 3731be5 pushed by FedericoPonzi
December 20, 2024 22:43 2m 22s master
master
December 20, 2024 22:43 2m 22s
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
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
Add diagnostic for pluscal labels inserted by translation (#350) CI #528: Commit a3169ad pushed by lemmy
November 20, 2024 22:51 3m 18s master
master
November 20, 2024 22:51 3m 18s
Add diagnostic for pluscal labels inserted by translation CI #527: Pull request #350 synchronize by hwayne
November 20, 2024 21:29 3m 1s hwayne:add-label-reporting
hwayne:add-label-reporting
November 20, 2024 21:29 3m 1s
Add diagnostic for pluscal labels inserted by translation CI #525: Pull request #350 synchronize by hwayne
November 19, 2024 02:39 40s hwayne:add-label-reporting
hwayne:add-label-reporting
November 19, 2024 02:39 40s
Merge pull request #349 from FedericoPonzi/issue-348 CI #523: Commit 3c89285 pushed by FedericoPonzi
November 1, 2024 18:58 2m 35s master
master
November 1, 2024 18:58 2m 35s
PDF Generation: feature parity with the toolbox CI #522: Pull request #349 synchronize by FedericoPonzi
November 1, 2024 18:56 2m 25s FedericoPonzi:issue-348
FedericoPonzi:issue-348
November 1, 2024 18:56 2m 25s
PDF Generation: feature parity with the toolbox CI #521: Pull request #349 synchronize by FedericoPonzi
November 1, 2024 08:56 2m 8s FedericoPonzi:issue-348
FedericoPonzi:issue-348
November 1, 2024 08:56 2m 8s
PDF Generation: feature parity with the toolbox CI #520: Pull request #349 synchronize by FedericoPonzi
October 31, 2024 22:56 3m 35s FedericoPonzi:issue-348
FedericoPonzi:issue-348
October 31, 2024 22:56 3m 35s
PDF Generation: feature parity with the toolbox CI #519: Pull request #349 synchronize by FedericoPonzi
October 31, 2024 22:54 5m 10s FedericoPonzi:issue-348
FedericoPonzi:issue-348
October 31, 2024 22:54 5m 10s
PDF Generation: feature parity with the toolbox CI #518: Pull request #349 synchronize by FedericoPonzi
October 31, 2024 22:21 2m 17s FedericoPonzi:issue-348
FedericoPonzi:issue-348
October 31, 2024 22:21 2m 17s
PDF Generation: feature parity with the toolbox CI #517: Pull request #349 synchronize by FedericoPonzi
October 31, 2024 22:00 2m 38s FedericoPonzi:issue-348
FedericoPonzi:issue-348
October 31, 2024 22:00 2m 38s