Replace release-* GitHub workflows with scripts - #952
Merged
Johannes Schindelin (dscho) merged 14 commits intoJul 8, 2026
Merged
Replace release-* GitHub workflows with scripts#952Johannes Schindelin (dscho) merged 14 commits into
release-* GitHub workflows with scripts#952Johannes Schindelin (dscho) merged 14 commits into