Skip to content

CI: Fix release not pushing to main#192

Merged
ndelangen merged 1 commit intomainfrom
norbert/fix-release
Sep 3, 2025
Merged

CI: Fix release not pushing to `main`#192
ndelangen merged 1 commit intomainfrom
norbert/fix-release

Commits