Skip to content

Switch to GitHub releases#35

Merged
jkoenig134 merged 10 commits into
mainfrom
switch-to-github-releases
Jun 3, 2025
Merged

Switch to GitHub releases#35
jkoenig134 merged 10 commits into
mainfrom
switch-to-github-releases

Conversation

@jkoenig134

Copy link
Copy Markdown
Contributor

Readiness checklist

  • I ensured that the PR title is good enough for the changelog.
  • I labeled the PR.
  • I self-reviewed the PR.

Description

I'll relabel this to ci when the settings were applied.

@jkoenig134 jkoenig134 requested a review from stnmtz June 3, 2025 07:17
@jkoenig134 jkoenig134 added the enhancement New feature or request label Jun 3, 2025
stnmtz
stnmtz previously approved these changes Jun 3, 2025
@jkoenig134 jkoenig134 enabled auto-merge (squash) June 3, 2025 07:21
@jkoenig134 jkoenig134 merged commit 4e44256 into main Jun 3, 2025
7 checks passed
@jkoenig134 jkoenig134 deleted the switch-to-github-releases branch June 3, 2025 07:21
@jkoenig134 jkoenig134 added ci Continuous Integration related stuff and removed enhancement New feature or request labels Jun 3, 2025
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.

2 participants