summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
liveDon't reload direnv every checkoutBen Sima3 weeks
usr/benAdd my GPG-derived SSH keyBen Sima6 months
 
 
AgeCommit messageAuthor
2024-04-11Don't reload direnv every checkoutHEADliveBen Sima
2024-04-11Don't run the pre-push script when pushing git notesBen Sima
2024-04-11Fix syntax error in pre-push hookBen Sima
2024-04-11Use ccache in buildsBen Sima
2024-04-10Report cli errors on runBen Sima
2024-04-10Fix --fix/-f in Lint.hsBen Sima
2024-04-10Explicitly pass Bild.nix to nix builds & expose references to stableBen Sima
2024-04-10Fix --cpus and --jobsBen Sima
2024-04-10Don't analyze namespaces we can't buildBen Sima
2024-04-10Only load .envrc.local if presentBen Sima
[...]
 
Clone
https://simatime.com/git/omni.git
git://simatime.com/omni.git
git@simatime.com:omni.git