Skip to content

Add purescript-psa to the list of supported tools#3

Merged
thomashoneyman merged 2 commits into
mainfrom
psa
Aug 13, 2020
Merged

Add purescript-psa to the list of supported tools#3
thomashoneyman merged 2 commits into
mainfrom
psa

Conversation

@thomashoneyman
Copy link
Copy Markdown
Collaborator

This PR adds purescript-psa to the supported tools in setup-purescript. It's the only tool that doesn't support a binary, and so I've opted to retrieve the package via NPM (which is in the environment). It's not as fast as downloading the binary, but the only other option is to produce a packaged binary for purescript-psa, which is untenable.

Folks who have local development dependencies on psa and include it in scripts will still see that installation preferred in CI (the same as all locally-installed NPM dependencies).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants