Skip to content

Actions: tlaplus/vscode-tlaplus

Actions

CI

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support constant operators symbol detection CI #566: Commit 5e6cd8b pushed by FedericoPonzi
March 31, 2025 11:35 1m 40s master
master
March 31, 2025 11:35 1m 40s
Support constant operators symbol detection CI #565: Pull request #366 synchronize by PoorlyDefinedBehaviour
March 29, 2025 01:43 2m 4s PoorlyDefinedBehaviour:issue-205
PoorlyDefinedBehaviour:issue-205
March 29, 2025 01:43 2m 4s
Support constant operators symbol detection CI #564: Pull request #366 synchronize by PoorlyDefinedBehaviour
March 29, 2025 01:37 2m 48s PoorlyDefinedBehaviour:issue-205
PoorlyDefinedBehaviour:issue-205
March 29, 2025 01:37 2m 48s
Support constant operators symbol detection CI #563: Pull request #366 synchronize by PoorlyDefinedBehaviour
March 29, 2025 01:35 Action required PoorlyDefinedBehaviour:issue-205
PoorlyDefinedBehaviour:issue-205
March 29, 2025 01:35 Action required
Support constant operators symbol detection CI #562: Pull request #366 synchronize by PoorlyDefinedBehaviour
March 29, 2025 01:35 Action required PoorlyDefinedBehaviour:issue-205
PoorlyDefinedBehaviour:issue-205
March 29, 2025 01:35 Action required
Support constant operators symbol detection CI #561: Pull request #366 synchronize by PoorlyDefinedBehaviour
March 29, 2025 01:34 Action required PoorlyDefinedBehaviour:issue-205
PoorlyDefinedBehaviour:issue-205
March 29, 2025 01:34 Action required
Support constant operators symbol detection CI #560: Pull request #366 opened by PoorlyDefinedBehaviour
March 29, 2025 01:33 Action required PoorlyDefinedBehaviour:issue-205
PoorlyDefinedBehaviour:issue-205
March 29, 2025 01:33 Action required
Swap Output tab with Error tab, such that user get to see Error tabs … CI #559: Commit be5077e pushed by FedericoPonzi
March 25, 2025 09:20 1m 56s master
master
March 25, 2025 09:20 1m 56s
Swap Output tab with Error tab CI #558: Pull request #365 synchronize by FedericoPonzi
March 25, 2025 00:03 3m 19s FedericoPonzi:fponzi/issue-304
FedericoPonzi:fponzi/issue-304
March 25, 2025 00:03 3m 19s
Swap Output tab with Error tab CI #557: Pull request #365 opened by FedericoPonzi
March 25, 2025 00:02 2m 27s FedericoPonzi:fponzi/issue-304
FedericoPonzi:fponzi/issue-304
March 25, 2025 00:02 2m 27s
Add direct link to the errors when they are available by looking them… CI #556: Commit 1a6c178 pushed by FedericoPonzi
March 19, 2025 19:08 2m 45s master
master
March 19, 2025 19:08 2m 45s
Add direct link to the errors when they are available by looking them… CI #555: Pull request #363 synchronize by FedericoPonzi
March 19, 2025 18:40 2m 18s FedericoPonzi:issue-258
FedericoPonzi:issue-258
March 19, 2025 18:40 2m 18s
Add direct link to the errors when they are available by looking them… CI #554: Pull request #363 opened by FedericoPonzi
March 19, 2025 18:36 42s FedericoPonzi:issue-258
FedericoPonzi:issue-258
March 19, 2025 18:36 42s
Rename error trace to the more user friendly Counterexample CI #553: Commit 06b10e4 pushed by lemmy
March 10, 2025 18:49 1m 43s master
master
March 10, 2025 18:49 1m 43s
Eliminate one point of failure by downloading tla2tools.jar from Github. CI #552: Commit 1d00510 pushed by lemmy
March 8, 2025 02:46 2m 26s master
master
March 8, 2025 02:46 2m 26s
We have transitioned to a rolling release model. For the latest updat… CI #551: Commit 9832bec pushed by lemmy
March 8, 2025 02:06 1m 38s master
master
March 8, 2025 02:06 1m 38s
Revert "Do not publish to OpenVSX until ovsx accepts a version number" CI #549: Commit ee75513 pushed by lemmy
March 5, 2025 01:42 2m 10s master
master
March 5, 2025 01:42 2m 10s
Update binary_operator_definitions regex to not stylize commented def… CI #548: Commit 558b3ae pushed by FedericoPonzi
January 24, 2025 14:13 2m 33s master
master
January 24, 2025 14:13 2m 33s
Update binary_operator_definitions regex to not stylize commented definitions CI #547: Pull request #362 synchronize by FedericoPonzi
January 23, 2025 19:16 2m 20s FedericoPonzi:issue-361
FedericoPonzi:issue-361
January 23, 2025 19:16 2m 20s
Update binary_operator_definitions regex to not stylize commented definitions CI #546: Pull request #362 synchronize by FedericoPonzi
January 23, 2025 19:14 2m 1s FedericoPonzi:issue-361
FedericoPonzi:issue-361
January 23, 2025 19:14 2m 1s
Update binary_operator_definitions regex to not stylize commented definitions CI #545: Pull request #362 synchronize by FedericoPonzi
January 23, 2025 19:05 3m 14s FedericoPonzi:issue-361
FedericoPonzi:issue-361
January 23, 2025 19:05 3m 14s
Update binary_operator_definitions regex to not stylize commented definitions CI #544: Pull request #362 opened by FedericoPonzi
January 21, 2025 23:27 2m 22s FedericoPonzi:issue-361
FedericoPonzi:issue-361
January 21, 2025 23:27 2m 22s
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