Skip to content

Conversation

@giltho
Copy link
Contributor

@giltho giltho commented Dec 25, 2025

@redianthus I removed nix as it was blocking all other PRs. If you know how to fix the issue, happy to merge it back in

Signed-off-by: Sacha Ayoun <[email protected]>
@N1ark N1ark added the ci/cd Issues about CI/CD, for improving workflow or checking new PRs and commits. label Dec 26, 2025
@redianthus
Copy link
Contributor

Sorry, I'm away for now. I can definitively have a look once I come back!

@giltho
Copy link
Contributor Author

giltho commented Dec 29, 2025

No rush at all!! Not even any pressure to do anything hahaha

Enjoy your break and happy new year!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci/cd Issues about CI/CD, for improving workflow or checking new PRs and commits.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants