search

purescript / pursuit

Website for hosting and searching PureScript API documentation
https://pursuit.purescript.org/
Other
170 stars 47 forks source link

Update PureScript to 0.15.2 #467

Closed JordanMartinez closed 2 years ago

JordanMartinez commented 2 years ago

I'm opening this PR up, so it's easier to redeploy Pursuit once 0.15.1 gets released.

When 0.15.1 is released, we'll need to rerun CI.

JordanMartinez commented 2 years ago

CC @thomashoneyman