Skip to content

ci: publish a GitHub Release instead of a bare tag#282

Merged
sudsali merged 1 commit into
masterfrom
ci/publish-github-release
Jul 9, 2026
Merged

ci: publish a GitHub Release instead of a bare tag#282
sudsali merged 1 commit into
masterfrom
ci/publish-github-release

Commits

Commits on Jul 8, 2026