Updated GitHub workflow publish_release#40

Merged

tomarnepedersen merged 1 commit intomainfrom 39-update-github-workflow-publish_release

Nov 14, 2024

+13-25

Commits on Nov 14, 2024

.github/workflows/publish_release.yml : Run publishing job from main (non-reusable) workflow. Left the publishing job commented out, though (it was disabled also before). Remove the reusable workfl…
ClaasRostock
committed