make release workflow usable #37

Merged
JMR-dev merged 1 commits from fix-add-missing-permissions into develop 2025-10-17 18:28:41 +00:00