Skip to content

nodePackages.purescript-language-server: init at 0.12.9#91438

Merged
NickHu merged 1 commit intoNixOS:masterfrom
NickHu:purescript-language-server
Jun 28, 2020
Merged

nodePackages.purescript-language-server: init at 0.12.9#91438
NickHu merged 1 commit intoNixOS:masterfrom
NickHu:purescript-language-server

Conversation

@NickHu
Copy link
Contributor

@NickHu NickHu commented Jun 24, 2020

Motivation for this change

Add the purescript-language-server tool.

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Determined the impact on package closure size (by running nix path-info -S before and after)
  • Ensured that relevant documentation is up to date
  • Fits CONTRIBUTING.md.

@ofborg ofborg bot added 10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 10.rebuild-linux: 11-100 This PR causes between 11 and 100 packages to rebuild on Linux. labels Jun 24, 2020
@NickHu NickHu requested a review from calbrecht June 24, 2020 20:51
@NickHu NickHu force-pushed the purescript-language-server branch from 72809ee to cd2fe35 Compare June 28, 2020 21:12
@NickHu NickHu merged commit 87c5724 into NixOS:master Jun 28, 2020
@ofborg ofborg bot added 10.rebuild-darwin: 1 This PR causes 1 package to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. and removed 10.rebuild-linux: 11-100 This PR causes between 11 and 100 packages to rebuild on Linux. labels Jun 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 10.rebuild-darwin: 1 This PR causes 1 package to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant