Skip to content

[ci] Drop garnix#936

Merged
oskardotglobal merged 1 commit into
mainfrom
feat/drop-garnix
Jun 2, 2026
Merged

[ci] Drop garnix#936
oskardotglobal merged 1 commit into
mainfrom
feat/drop-garnix

Conversation

@oskardotglobal

Copy link
Copy Markdown
Member

Our nix CI provider garnix is ending their service. This PR replaces it with a github actions workflow.

@oskardotglobal oskardotglobal force-pushed the feat/drop-garnix branch 2 times, most recently from c6373ab to 0367cd8 Compare June 2, 2026 07:53
Signed-off-by: Oskar Manhart <52569953+oskardotglobal@users.noreply.github.com>
@oskardotglobal oskardotglobal changed the title Drop garnix [ci] Drop garnix Jun 2, 2026

@LDprg LDprg left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seem fine.

@oskardotglobal oskardotglobal merged commit 3c1e7e1 into main Jun 2, 2026
5 checks passed
@oskardotglobal oskardotglobal deleted the feat/drop-garnix branch June 2, 2026 14:32
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.

2 participants