summaryrefslogtreecommitdiff
path: root/Biz/Ide/pre-push
AgeCommit message (Collapse)Author
2021-11-26Fix ci script and pre-pushBen Sima
2021-11-26Update to ghc 8.10.4Ben Sima
This also makes some changes to the build tooling to clean up the environment a bit, and get us closer to 'bild -s'.