Skip to content

Actions: nwolverson/purescript-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #209 from srghma/patch-1 CI #151: Commit ceee3d5 pushed by nwolverson
October 15, 2024 09:09 47s main
main
October 15, 2024 09:09 47s
0.18.2 Release #31: Commit 5c5754a pushed by nwolverson
October 10, 2024 00:27 1m 10s v0.18.2
v0.18.2
October 10, 2024 00:27 1m 10s
0.18.2 CI #149: Commit 5c5754a pushed by nwolverson
October 10, 2024 00:27 46s main
main
October 10, 2024 00:27 46s
changelog CI #148: Commit 294f3f0 pushed by nwolverson
October 10, 2024 00:06 51s main
main
October 10, 2024 00:06 51s
Merge pull request #208 from nwolverson/fix-build CI #147: Commit 9974794 pushed by nwolverson
October 9, 2024 23:47 47s main
main
October 9, 2024 23:47 47s
bump purs CI #146: Pull request #208 synchronize by nwolverson
October 9, 2024 23:39 47s fix-build
fix-build
October 9, 2024 23:39 47s
bump purs CI #145: Pull request #208 opened by nwolverson
October 9, 2024 23:37 43s fix-build
fix-build
October 9, 2024 23:37 43s
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