| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-08-16 | Fix variable substitution and indenting in ci script | Ben Sima | |
| 2023-08-16 | Condense note message in pre-push hook | Ben Sima | |
| 2023-08-16 | Turn pre-push into a record-keeping ci | Ben Sima | |
| This is necessary because otherwise I have no record of when I had a successful build. | |||
| 2023-07-28 | Fix tags generation in git hook | Ben Sima | |
| 2022-08-10 | Fix path to git hook | Ben Sima | |
| 2022-08-08 | Ensure BIZ_ROOT is set in shell scripts | Ben Sima | |
| 2022-08-03 | Fix globbing in pre-push hook | Ben Sima | |
| 2022-08-01 | Lint only changed files | Ben Sima | |
| 2022-07-26 | Put _/bin on the PATH | Ben Sima | |
| The motivation for this was to prevent `lint` from rebuilding every time I ran it. That was really annoying. | |||
| 2022-07-19 | Upgrade nixpkgs, ghc923 | Ben Sima | |
| I ended up deleting miso, and consequently all files under Hero/ and Miso/, because I couldn't get miso to build with GHC 9.2. Other things: - Niv has been wrapped by Biz/Bild/Deps.hs, so I can extend it to my liking. - Apply-refact is gone because I couldn't get it to build. - Disabled python stuff. | |||
| 2022-03-30 | Replace ci with the git pre-push hook | Ben Sima | |
| 2022-02-09 | Move git hooks to own folder | Ben Sima | |
| Instead of symlinking, just set the local git config. | |||
 |
index : omni.git | |
| not just a monorepo, its an *omnirepo* | ben |
| summaryrefslogtreecommitdiff |