Skip to content

Actions: nwolverson/purescript-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #207 from wclr/update-fix-shell CI #144: Commit e4323b9 pushed by nwolverson
October 3, 2024 12:59 16s main
main
October 3, 2024 12:59 16s
Update fix shell CI #143: Pull request #207 synchronize by wclr
October 3, 2024 12:54 22s wclr:update-fix-shell
wclr:update-fix-shell
October 3, 2024 12:54 22s
Update fix shell CI #142: Pull request #207 opened by wclr
September 28, 2024 10:52 26s wclr:update-fix-shell
wclr:update-fix-shell
September 28, 2024 10:52 26s
0.18.1 Release #30: Commit 2d98c1b pushed by nwolverson
February 12, 2024 14:05 51s v0.18.1
v0.18.1
February 12, 2024 14:05 51s
0.18.1 CI #141: Commit 2d98c1b pushed by nwolverson
February 12, 2024 14:05 54s main
main
February 12, 2024 14:05 54s
Run build on main Release #29: Commit 2e29072 pushed by nwolverson
February 12, 2024 14:02 56s v0.18.1
v0.18.1
February 12, 2024 14:02 56s
0.18.0 Release #28: Commit 9448404 pushed by nwolverson
February 12, 2024 13:59 1m 1s v0.18.0
v0.18.0
February 12, 2024 13:59 1m 1s
Run build on main Release #27: Commit 2e29072 pushed by nwolverson
February 12, 2024 13:52 55s test-publish-0
test-publish-0
February 12, 2024 13:52 55s
0.18.0 Release #26: Commit 9448404 pushed by nwolverson
February 12, 2024 13:07 52s v0.18.0
v0.18.0
February 12, 2024 13:07 52s
Run build on main CI #140: Commit 2e29072 pushed by nwolverson
February 12, 2024 12:54 50s main
main
February 12, 2024 12:54 50s
0.17.3 Release #25: Commit ead519e pushed by nwolverson
November 1, 2023 23:18 52s v0.17.3
v0.17.3
November 1, 2023 23:18 52s
0.17.2 Release #24: Commit 75816f6 pushed by nwolverson
September 7, 2023 17:21 1m 16s v0.17.2
v0.17.2
September 7, 2023 17:21 1m 16s
Rename refactoring capablities v1 CI #139: Pull request #196 synchronize by wclr
August 22, 2023 15:01 1m 32s wclr:rename-refactor-v1
wclr:rename-refactor-v1
August 22, 2023 15:01 1m 32s
Use new(ish) dependency filter to improve navigation/hover for dctors CI #138: Commit 7b86935 pushed by nwolverson
August 20, 2023 21:42 1m 25s master
master
August 20, 2023 21:42 1m 25s
working with compiler new dependency filter CI #137: Commit 71ab353 pushed by nwolverson
July 4, 2023 08:03 1m 8s master
master
July 4, 2023 08:03 1m 8s