Skip to content

Conversation

@jfroche
Copy link
Member

@jfroche jfroche commented Sep 16, 2025

Prevent dev inputs in the root flake

Prevent dev inputs in the root flake
@zimbatm zimbatm merged commit bb981ae into main Oct 23, 2025
5 checks passed
@zimbatm zimbatm deleted the move-dev-inputs branch October 23, 2025 08:07
@r-vdp
Copy link
Member

r-vdp commented Oct 24, 2025

Wasn't this blocked on buildbot not running our CI anymore with this setup, or did we find a way to fix that?

@zimbatm
Copy link
Member

zimbatm commented Oct 28, 2025

My bad, I wasn't aware of this.

zimbatm added a commit that referenced this pull request Oct 28, 2025
zimbatm added a commit that referenced this pull request Oct 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants