search

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell
https://ucsd-progsys.github.io/liquidhaskell-tutorial/
MIT License
75 stars 27 forks source link

Deploy github pages on merging to main #128

Closed facundominguez closed 1 year ago

facundominguez commented 1 year ago

This PR has https://ucsd-progsys.github.io/liquidhaskell-tutorial updated on every merged PR to main.

These workflows install dependencies for CI with nix. This avoids having to build pandoc, and streamlines installation of system dependencies. Notably, the CI build doesn't depend on stack or cabal-install. Pandoc filters in this repo are built instead by using the Setup.hs script, and all haskell dependency packages are installed in precompiled form with nix.

One opinionated change here has been to copy all the files needed from liquid-client instead of depending on an external repo for the jobs to succeed.

ranjitjhala commented 1 year ago

Thanks @facundominguez ! These are excellent improvements!