* Add dev flake * Build dev flake in Jenkins * dev: Use treefmt-nix (for CI check) * treefmt-nix: point to PR