summaryrefslogtreecommitdiff
path: root/Biz/Ide/lint
AgeCommit message (Collapse)Author
2022-07-26Put _/bin on the PATHBen Sima
The motivation for this was to prevent `lint` from rebuilding every time I ran it. That was really annoying.
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'.
2021-11-26Move commands and add ns functionBen Sima