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