Skip to content

Switch to trusted publishers#36

Merged
jkoenig134 merged 2 commits intomainfrom
switch-to-trusted-publishers
Oct 15, 2025
Merged

Switch to trusted publishers#36
jkoenig134 merged 2 commits intomainfrom
switch-to-trusted-publishers

Conversation

@jkoenig134
Copy link
Contributor

@jkoenig134 jkoenig134 commented Oct 15, 2025

Readiness checklist

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

@jkoenig134 jkoenig134 added the ci Continuous Integration related stuff label Oct 15, 2025
@jkoenig134 jkoenig134 enabled auto-merge (squash) October 15, 2025 12:44
@jkoenig134 jkoenig134 disabled auto-merge October 15, 2025 12:45
@jkoenig134 jkoenig134 merged commit 06402e1 into main Oct 15, 2025
6 checks passed
@jkoenig134 jkoenig134 deleted the switch-to-trusted-publishers branch October 15, 2025 12:45
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