Skip to content

Actions: tlaplus/vscode-tlaplus

Actions

CI

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support ANSI escape sequence in trace explorer web view. CI #412: Commit 62383d4 pushed by lemmy
January 8, 2024 20:13 34s mku-gh320
mku-gh320
January 8, 2024 20:13 34s
Initial version for the proof state view. CI #411: Pull request #319 synchronize by kape1395
January 8, 2024 11:46 2m 5s kape1395:tlaps-proof-state
kape1395:tlaps-proof-state
January 8, 2024 11:46 2m 5s
Initial version for the proof state view. CI #410: Pull request #319 opened by kape1395
January 6, 2024 13:16 2m 8s kape1395:tlaps-proof-state
kape1395:tlaps-proof-state
January 6, 2024 13:16 2m 8s
Add a "Check and debug model with TLC using non-default config..." co… CI #409: Commit 0b39653 pushed by lemmy
December 19, 2023 01:56 1m 19s master
master
December 19, 2023 01:56 1m 19s
Add a "Check and debug model with TLC using non-default config..." command. CI #408: Pull request #317 synchronize by lemmy
December 19, 2023 01:54 1m 47s mku-checkDebugCustom
mku-checkDebugCustom
December 19, 2023 01:54 1m 47s
Add a "Check and debug model with TLC using non-default config..." co… CI #407: Commit 78303b2 pushed by lemmy
December 19, 2023 01:54 2m 0s mku-checkDebugCustom
mku-checkDebugCustom
December 19, 2023 01:54 2m 0s
Add a "Check and debug model with TLC using non-default config..." command. CI #406: Pull request #317 opened by lemmy
December 19, 2023 01:52 1m 52s mku-checkDebugCustom
mku-checkDebugCustom
December 19, 2023 01:52 1m 52s
Add a "Check and debug model with TLC using non-default config..." co… CI #405: Commit c16779f pushed by lemmy
December 19, 2023 01:52 1m 49s mku-checkDebugCustom
mku-checkDebugCustom
December 19, 2023 01:52 1m 49s
Make TLAPS proof step decorators less distractive. (#316) CI #404: Commit 84b151d pushed by lemmy
December 17, 2023 16:20 1m 31s master
master
December 17, 2023 16:20 1m 31s
Make TLAPS proof step decorators less distractive. CI #403: Pull request #316 synchronize by kape1395
December 17, 2023 15:00 4m 15s kape1395:tlaps-decorator-icons
kape1395:tlaps-decorator-icons
December 17, 2023 15:00 4m 15s
Make TLAPS proof step decorators less distractive. CI #402: Pull request #316 opened by kape1395
December 9, 2023 08:13 2m 18s kape1395:tlaps-decorator-icons
kape1395:tlaps-decorator-icons
December 9, 2023 08:13 2m 18s
Bump dependency of DAP (DebugAdapterProtocol) to 1.63.0 in an attempt… CI #401: Commit 7c1a114 pushed by lemmy
October 26, 2023 15:18 17m 22s master
master
October 26, 2023 15:18 17m 22s
Remove keybindings CI #400: Commit dc1f15e pushed by lemmy
October 18, 2023 15:49 3m 17s master
master
October 18, 2023 15:49 3m 17s
Remove keybindings CI #399: Pull request #309 synchronize by eddyashton
October 18, 2023 09:40 1m 57s eddyashton:patch-2
eddyashton:patch-2
October 18, 2023 09:40 1m 57s
Remove keybindings CI #398: Pull request #309 opened by eddyashton
October 18, 2023 09:37 2m 31s eddyashton:patch-2
eddyashton:patch-2
October 18, 2023 09:37 2m 31s
Make whole-line markers configurable. CI #397: Commit cf04d98 pushed by lemmy
October 16, 2023 14:57 3m 38s master
master
October 16, 2023 14:57 3m 38s
TLAPS support via LSP. CI #396: Pull request #307 synchronize by kape1395
October 15, 2023 19:55 3m 22s kape1395:tlaps-support
kape1395:tlaps-support
October 15, 2023 19:55 3m 22s
TLAPS support via LSP. CI #395: Pull request #307 synchronize by kape1395
October 15, 2023 07:56 2m 26s kape1395:tlaps-support
kape1395:tlaps-support
October 15, 2023 07:56 2m 26s
TLAPS support via LSP. CI #394: Pull request #307 opened by kape1395
October 14, 2023 13:48 4m 7s kape1395:tlaps-support
kape1395:tlaps-support
October 14, 2023 13:48 4m 7s
Initial support for TLAPS. CI #393: Pull request #306 opened by kape1395
October 12, 2023 08:49 2m 42s kape1395:tlaps-support
kape1395:tlaps-support
October 12, 2023 08:49 2m 42s