Skip to content

Move repo to GitHub Actions#72

Merged
tombruijn merged 1 commit intomainfrom
github-actions
Mar 4, 2026
Merged

Move repo to GitHub Actions#72
tombruijn merged 1 commit intomainfrom
github-actions

Conversation

@tombruijn
Copy link
Member

@tombruijn tombruijn commented Mar 4, 2026

We've moved away from Semaphore for most repositories. Let's move this one as well. It's browning it out old images we rely on.

[skip review]

We've moved away from Semaphore for most repositories. Let's move this
one as well. It's browning it out old images we rely on.
@tombruijn tombruijn self-assigned this Mar 4, 2026
@tombruijn tombruijn added the chore A small task that takes a day or two at the most. label Mar 4, 2026
@tombruijn tombruijn merged commit bfcf5b5 into main Mar 4, 2026
1 of 2 checks passed
@tombruijn tombruijn deleted the github-actions branch March 4, 2026 15:13
@tombruijn tombruijn added the chore A small task that takes a day or two at the most. label Mar 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore A small task that takes a day or two at the most.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant