Skip to content

Conversation

syntactically
Copy link
Member

@syntactically syntactically commented Jul 10, 2025

I added my Nix flake definition that I use for local development in the last PR, so this removes it.

@syntactically syntactically changed the title Remove accidentally-added files Remove accidentally-added Nix files Jul 10, 2025
@syntactically syntactically changed the title Remove accidentally-added Nix files Remove Nix files Jul 10, 2025
Signed-off-by: Lucy Menon <[email protected]>
@jprendes jprendes enabled auto-merge (squash) July 10, 2025 12:29
@jprendes jprendes merged commit b60a313 into main Jul 10, 2025
25 of 26 checks passed
@jprendes jprendes deleted the remove-nix-files branch July 10, 2025 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants