Skip to content

Switch to GitHub releases - #21

Merged
tnotheis merged 1 commit into
mainfrom
switch-to-github-releases
Aug 3, 2026
Merged

Switch to GitHub releases#21
tnotheis merged 1 commit into
mainfrom
switch-to-github-releases

Conversation

@tnotheis

@tnotheis tnotheis commented Aug 3, 2026

Copy link
Copy Markdown
Member

No description provided.

@tnotheis tnotheis self-assigned this Aug 3, 2026
@tnotheis tnotheis added the ci Continuous Integration related stuff label Aug 3, 2026
@tnotheis
tnotheis merged commit 8f27b54 into main Aug 3, 2026
2 checks passed
@tnotheis
tnotheis deleted the switch-to-github-releases branch August 3, 2026 16:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Continuous Integration related stuff

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant