Skip to content

ci: set origin/HEAD before running release.sh - #218

Merged
eddietejeda merged 1 commit into
mainfrom
ci/release-origin-head
Oct 15, 2026
Merged

ci: set origin/HEAD before running release.sh#218
eddietejeda merged 1 commit into
mainfrom
ci/release-origin-head

Commits

  1. Commits on Oct 15, 2026