Skip to content

Actions: tlaplus/vscode-tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
645 workflow runs
645 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch Release Nightly #1034: Repository dispatch triggered by lemmy
February 7, 2024 06:10 1m 45s
February 7, 2024 06:10 1m 45s
Release Nightly Release Nightly #1033: Scheduled
February 7, 2024 06:03 4m 51s master
master
February 7, 2024 06:03 4m 51s
tlaplus-dispatch Release Nightly #1032: Repository dispatch triggered by lemmy
February 6, 2024 14:38 1m 36s
February 6, 2024 14:38 1m 36s
Release Nightly Release Nightly #1031: Scheduled
February 6, 2024 06:03 1m 56s master
master
February 6, 2024 06:03 1m 56s
tlaplus-dispatch Release Nightly #1030: Repository dispatch triggered by lemmy
February 5, 2024 21:20 1m 40s
February 5, 2024 21:20 1m 40s
Release Nightly Release Nightly #1029: Scheduled
February 5, 2024 06:03 1m 53s master
master
February 5, 2024 06:03 1m 53s
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
Release Nightly Release Nightly #1028: Scheduled
February 4, 2024 06:03 1m 57s master
master
February 4, 2024 06:03 1m 57s
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
Release Nightly Release Nightly #1027: Scheduled
February 3, 2024 06:03 1m 57s master
master
February 3, 2024 06:03 1m 57s
Release Nightly Release Nightly #1026: Scheduled
February 2, 2024 06:04 1m 57s master
master
February 2, 2024 06:04 1m 57s
tlaplus-dispatch Release Nightly #1025: Repository dispatch triggered by lemmy
February 1, 2024 18:56 2m 35s
February 1, 2024 18:56 2m 35s
tlaplus-dispatch Release Nightly #1024: Repository dispatch triggered by lemmy
February 1, 2024 18:55 2m 7s
February 1, 2024 18:55 2m 7s
Release Nightly Release Nightly #1023: Scheduled
February 1, 2024 06:04 1m 55s master
master
February 1, 2024 06:04 1m 55s
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
Release Nightly Release Nightly #1022: Scheduled
January 31, 2024 06:04 1m 54s master
master
January 31, 2024 06:04 1m 54s
tlaplus-dispatch Release Nightly #1021: Repository dispatch triggered by lemmy
January 31, 2024 02:33 1m 49s
January 31, 2024 02:33 1m 49s
tlaplus-dispatch Release Nightly #1020: Repository dispatch triggered by lemmy
January 30, 2024 23:43 2m 21s
January 30, 2024 23:43 2m 21s
Release Nightly Release Nightly #1019: Scheduled
January 30, 2024 06:03 1m 37s master
master
January 30, 2024 06:03 1m 37s
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
ProTip! You can narrow down the results and go further in time using created:<2024-01-29 or the other filters available.