Skip to content

Switch to trusted publisher#82

Merged
jkoenig134 merged 3 commits intomainfrom
switch-to-trusted-publisher
Oct 15, 2025
Merged

Switch to trusted publisher#82
jkoenig134 merged 3 commits intomainfrom
switch-to-trusted-publisher

Conversation

@jkoenig134
Copy link
Contributor

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 14:31
@jkoenig134 jkoenig134 merged commit 25d3d1c into main Oct 15, 2025
4 checks passed
@jkoenig134 jkoenig134 deleted the switch-to-trusted-publisher branch October 15, 2025 14:33
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