[coot]

zephyr is a dce tool; Disclaimer: I am the author of zephyr.

[f-f]

Hi @coot, thanks for this!

The PR looks great, but CI is failing - it looks like we should find a way to install zephyr there. CI is Netlify, and runs only the following command: rm -rf output dist && npm install && npm run build-production

[coot]

I never used netify; Currently zephyr is only available to download from github releases (there's no npm package yet).

[f-f]

@coot I see - there's nothing special with Netlify, my only point was that it just runs things from the package.json. So maybe we could wget zephyr in there?

[coot]

That should work. here is the latest release.

[f-f]

Another way to fix this would be to port the CI to GitHub Actions (and GitHub pages) and use this action that takes care of installing zephyr, purs, spago, etc