Skip to content

ci: remove ci action#681

Merged
figsoda merged 1 commit intomainfrom
ci
Jan 21, 2026
Merged

ci: remove ci action#681
figsoda merged 1 commit intomainfrom
ci

Conversation

@figsoda
Copy link
Member

@figsoda figsoda commented Jan 21, 2026

replaced by buildbot nix-community/infra#2100

replaced by buildbot
@figsoda figsoda merged commit 5157c1a into main Jan 21, 2026
2 checks passed
@figsoda figsoda deleted the ci branch January 21, 2026 03:07
figsoda added a commit that referenced this pull request Jan 27, 2026
the old one stopped working because github actions was replaced with
buildbot in #681
@figsoda figsoda mentioned this pull request Jan 27, 2026
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.

1 participant