Skip to content

Actions: tlaplus/vscode-tlaplus

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
141 workflow runs
141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add tlaplus-formatter support CI #452: Pull request #327 synchronize by FedericoPonzi
July 21, 2024 23:21 35s FedericoPonzi:formatter
FedericoPonzi:formatter
July 21, 2024 23:21 35s
Add tlaplus-formatter support CI #451: Pull request #327 synchronize by FedericoPonzi
July 21, 2024 22:16 1m 31s FedericoPonzi:formatter
FedericoPonzi:formatter
July 21, 2024 22:16 1m 31s
Merge pull request #325 from tlaplus/module-paths CI #449: Commit d2e1743 pushed by kape1395
February 4, 2024 06:29 2m 9s master
master
February 4, 2024 06:29 2m 9s
Module search paths can be shared between tools. CI #448: Pull request #325 synchronize by kape1395
February 3, 2024 20:10 2m 55s module-paths
module-paths
February 3, 2024 20:10 2m 55s
Add community modules to the paths supplied by TLC. CI #447: Commit 5e032cf pushed by kape1395
February 3, 2024 20:10 3m 42s module-paths
module-paths
February 3, 2024 20:10 3m 42s
Module search paths can be shared between tools. CI #446: Pull request #325 opened by kape1395
February 3, 2024 15:41 2m 39s module-paths
module-paths
February 3, 2024 15:41 2m 39s
Module search paths can be shared between tools. CI #445: Commit 16ebbce pushed by kape1395
February 3, 2024 15:33 2m 45s module-paths
module-paths
February 3, 2024 15:33 2m 45s
Merge pull request #322 from tlaplus/tlaps-proof-state-v2 CI #444: Commit 766ee98 pushed by kape1395
January 31, 2024 14:53 2m 58s master
master
January 31, 2024 14:53 2m 58s
Adapt to changes in the lsp server. CI #443: Pull request #322 synchronize by kape1395
January 31, 2024 07:32 2m 57s tlaps-proof-state-v2
tlaps-proof-state-v2
January 31, 2024 07:32 2m 57s
Cleanup after a review. CI #442: Commit 829a87a pushed by kape1395
January 31, 2024 07:32 2m 22s tlaps-proof-state-v2
tlaps-proof-state-v2
January 31, 2024 07:32 2m 22s
Adapt to changes in the lsp server. CI #441: Pull request #322 synchronize by kape1395
January 29, 2024 22:05 1m 51s tlaps-proof-state-v2
tlaps-proof-state-v2
January 29, 2024 22:05 1m 51s
Restore accidentally broken formatting. CI #440: Commit 6d9a1f2 pushed by kape1395
January 29, 2024 22:04 1m 55s tlaps-proof-state-v2
tlaps-proof-state-v2
January 29, 2024 22:04 1m 55s
Adapt to changes in the lsp server. CI #439: Pull request #322 synchronize by kape1395
January 28, 2024 18:11 1m 6s tlaps-proof-state-v2
tlaps-proof-state-v2
January 28, 2024 18:11 1m 6s
Don't show aux obligations, unless they are failed. CI #438: Commit 38aa440 pushed by kape1395
January 28, 2024 18:11 3m 10s tlaps-proof-state-v2
tlaps-proof-state-v2
January 28, 2024 18:11 3m 10s
Adapt to changes in the lsp server. CI #437: Pull request #322 synchronize by kape1395
January 28, 2024 17:31 2m 54s tlaps-proof-state-v2
tlaps-proof-state-v2
January 28, 2024 17:31 2m 54s
Do not mix the range class and interface. CI #436: Commit 234b4b7 pushed by kape1395
January 28, 2024 17:31 2m 56s tlaps-proof-state-v2
tlaps-proof-state-v2
January 28, 2024 17:31 2m 56s
Adapt to changes in the lsp server. CI #435: Pull request #322 synchronize by kape1395
January 28, 2024 08:39 3m 28s tlaps-proof-state-v2
tlaps-proof-state-v2
January 28, 2024 08:39 3m 28s
Make proof step details look nicer. CI #434: Commit 3308eb4 pushed by kape1395
January 28, 2024 08:39 2m 47s tlaps-proof-state-v2
tlaps-proof-state-v2
January 28, 2024 08:39 2m 47s
Adapt to changes in the lsp server. CI #433: Pull request #322 synchronize by kape1395
January 27, 2024 22:19 3m 20s tlaps-proof-state-v2
tlaps-proof-state-v2
January 27, 2024 22:19 3m 20s
Use react for proof step details view. CI #432: Commit 1ca8a75 pushed by kape1395
January 27, 2024 22:19 2m 53s tlaps-proof-state-v2
tlaps-proof-state-v2
January 27, 2024 22:19 2m 53s
Adapt to changes in the lsp server. CI #431: Pull request #322 synchronize by kape1395
January 27, 2024 17:29 3m 20s tlaps-proof-state-v2
tlaps-proof-state-v2
January 27, 2024 17:29 3m 20s
Set the current proof step via explicit LSP command. CI #430: Commit 71319fb pushed by kape1395
January 27, 2024 17:29 2m 31s tlaps-proof-state-v2
tlaps-proof-state-v2
January 27, 2024 17:29 2m 31s
Adapt to changes in the lsp server. CI #429: Pull request #322 synchronize by kape1395
January 27, 2024 16:38 2m 46s tlaps-proof-state-v2
tlaps-proof-state-v2
January 27, 2024 16:38 2m 46s
Retain decorators after tabs are switched. CI #428: Commit a515732 pushed by kape1395
January 27, 2024 16:38 2m 52s tlaps-proof-state-v2
tlaps-proof-state-v2
January 27, 2024 16:38 2m 52s
Adapt to changes in the lsp server. CI #427: Pull request #322 synchronize by kape1395
January 26, 2024 15:35 2m 36s tlaps-proof-state-v2
tlaps-proof-state-v2
January 26, 2024 15:35 2m 36s