ozbot
Star 0
Fork 0
Watch
Open Merged Closed
New
small refactor #18
Merged dich0to.me
· · 0 comments
ci: use unstable nixpkgs for CI #17
Merged dich0to.me
· · 0 comments
ci: remove cache because nixery doesn't support it apparently #16
Merged dich0to.me
· · 0 comments
ci: add tangled CI for checking types, formatting and lints #15
Merged dich0to.me
· · 0 comments