Skip to content

ci: adopt shared nix-ci reusable workflow#8

Merged
jorisjonkers-dev-agents[bot] merged 2 commits into
mainfrom
ci/wave2-nix
Jul 2, 2026
Merged

ci: adopt shared nix-ci reusable workflow#8
jorisjonkers-dev-agents[bot] merged 2 commits into
mainfrom
ci/wave2-nix

Conversation

@jorisjonkers-dev-agents

Copy link
Copy Markdown
Contributor

Wave 2: rewire CI to the shared reusable nix-ci workflow.

@jorisjonkers-dev-agents jorisjonkers-dev-agents Bot merged commit 31b4d7a into main Jul 2, 2026
4 checks passed
@jorisjonkers-dev-agents jorisjonkers-dev-agents Bot deleted the ci/wave2-nix branch July 2, 2026 21:12
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.

1 participant