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

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
Icons and other improvements on TLAPS. CI #426: Commit ff06f3e pushed by kape1395
January 26, 2024 15:35 3m 4s tlaps-proof-state-v2
tlaps-proof-state-v2
January 26, 2024 15:35 3m 4s
Adapt to changes in the lsp server. CI #425: Pull request #322 opened by kape1395
January 22, 2024 18:59 3m 26s tlaps-proof-state-v2
tlaps-proof-state-v2
January 22, 2024 18:59 3m 26s
Adapt to changes in the lsp server. CI #424: Commit 7f4b577 pushed by kape1395
January 22, 2024 18:58 2m 44s tlaps-proof-state-v2
tlaps-proof-state-v2
January 22, 2024 18:58 2m 44s
Merge pull request #319 from kape1395/tlaps-proof-state CI #423: Commit 56daa35 pushed by kape1395
January 10, 2024 21:36 2m 46s master
master
January 10, 2024 21:36 2m 46s
Initial version for the proof state view. CI #422: Pull request #319 synchronize by kape1395
January 10, 2024 21:30 2m 44s kape1395:tlaps-proof-state
kape1395:tlaps-proof-state
January 10, 2024 21:30 2m 44s
Bow to the linter. CI #421: Commit 7b4970e pushed by lemmy
January 10, 2024 18:59 2m 58s master
master
January 10, 2024 18:59 2m 58s
Support ANSI escape sequence in trace explorer web view. CI #419: Commit 175b1c7 pushed by lemmy
January 8, 2024 21:58 2m 39s master
master
January 8, 2024 21:58 2m 39s
Support ANSI escape sequence in trace explorer web view. CI #418: Commit 180c012 pushed by lemmy
January 8, 2024 20:41 2m 47s master
master
January 8, 2024 20:41 2m 47s
Support ANSI escape sequence in trace explorer web view. CI #417: Pull request #321 synchronize by lemmy
January 8, 2024 20:36 3m 48s mku-gh320
mku-gh320
January 8, 2024 20:36 3m 48s
Support ANSI escape sequence in trace explorer web view. CI #416: Commit 4844ee1 pushed by lemmy
January 8, 2024 20:36 3m 59s mku-gh320
mku-gh320
January 8, 2024 20:36 3m 59s
Support ANSI escape sequence in trace explorer web view. CI #415: Pull request #321 synchronize by lemmy
January 8, 2024 20:24 1m 41s mku-gh320
mku-gh320
January 8, 2024 20:24 1m 41s
Support ANSI escape sequence in trace explorer web view. CI #414: Commit 18fe746 pushed by lemmy
January 8, 2024 20:24 58s mku-gh320
mku-gh320
January 8, 2024 20:24 58s
Support ANSI escape sequence in trace explorer web view. CI #413: Pull request #321 opened by lemmy
January 8, 2024 20:14 44s mku-gh320
mku-gh320
January 8, 2024 20:14 44s