Skip to content

Separate out a dev flake - #29

Merged
chvp merged 1 commit into
mainfrom
chore/separate-dev-flake
Nov 8, 2026
Merged

chvp merged 1 commit into
mainfrom
chore/separate-dev-flake

Conversation

@chvp

@chvp chvp commented Nov 8, 2026

Copy link
Copy Markdown
Member

This makes the main flake more lean and doesn't pollute downstream consumers as much.

@chvp chvp self-assigned this Nov 8, 2026
@chvp chvp added the chore Repository or build maintenance label Nov 8, 2026
This makes the main flake more lean and doesn't pollute downstream consumers as much.
@chvp
chvp force-pushed the chore/separate-dev-flake branch from 4ef3a2e to 376df26 Compare November 8, 2026 17:49
@chvp
chvp merged commit 2d6ba85 into main Nov 8, 2026
4 checks passed
@chvp
chvp deleted the chore/separate-dev-flake branch November 8, 2026 17:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Repository or build maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant