PureScript v0.15.8 has been released.
This is a small release, but the more notable changes are:
Pursuit needs to be updated and redeployed before dark theme will be supported. PR pending: Update to 0.15.8 (support dark theme) by JordanMartinez · Pull Request #477 · purescript/pursuit · GitHub
Thank you all who contributed.
Full release notes below:
I’ve ran into a small hiccup in deploying Pursuit. Due to GitHub’s brown out of ubuntu-18.04, which caused v0.9.5’s binary to fail to build, I updated CI to ubuntu-latest. Unfortunately, that means deploying the binary to our server causes this error:
/usr/local/bin/pursuit: error while loading shared libraries: libtinfo.so.6: cannot open shared object file: No such file or directory
So, the dark theme will have to wait for a bit longer until the server can be updated to a more recent Ubuntu version.
Pursuit now has dark mode. Thanks for your patience while we dealt with server maintenance.