Skip to content

Actions: nwolverson/purescript-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

0.18.4 Release #33: Commit dd7d171 pushed by nwolverson
January 2, 2025 10:03 48s v0.18.4
v0.18.4
January 2, 2025 10:03 48s
0.18.4 CI #157: Commit dd7d171 pushed by nwolverson
January 2, 2025 10:03 45s main
main
January 2, 2025 10:03 45s
Pass npm path env to spago sources CI #156: Commit 0a66a16 pushed by nwolverson
January 2, 2025 09:58 54s main
main
January 2, 2025 09:58 54s
0.18.3 Release #32: Commit cf87ad7 pushed by nwolverson
December 20, 2024 19:47 47s v0.18.3
v0.18.3
December 20, 2024 19:47 47s
0.18.3 CI #155: Commit cf87ad7 pushed by nwolverson
December 20, 2024 19:47 47s main
main
December 20, 2024 19:47 47s
Merge pull request #212 from jmatsushita/patch-1 CI #154: Commit 1e57ed1 pushed by nwolverson
December 20, 2024 19:32 51s main
main
December 20, 2024 19:32 51s
Restrict the use of the shell setting CI #153: Commit 15cdeab pushed by nwolverson
December 20, 2024 19:30 47s main
main
December 20, 2024 19:30 47s
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