Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-02-09 | Move git hooks to own folder | Ben Sima | |
Instead of symlinking, just set the local git config. | |||
2021-11-26 | Fix ci script and pre-push | Ben Sima | |
2021-11-26 | Update to ghc 8.10.4 | Ben Sima | |
This also makes some changes to the build tooling to clean up the environment a bit, and get us closer to 'bild -s'. |