Commit Graph

1 Commits

Author SHA1 Message Date
Sridhar Ratnakumar
b0491e20be
Add dev flake (#179)
* Add dev flake

* Build dev flake in Jenkins

* dev: Use treefmt-nix (for CI check)

* treefmt-nix: point to PR
2023-07-03 16:56:27 -04:00