Skip to content

ci: quote GITHUB_BASE_REF and fall back to GITHUB_REF_NAME - #434

Merged
HDembinski merged 1 commit into
boostorg:developfrom
henryiii:henryiii/fix-base-ref
Jul 23, 2026
Merged

HDembinski merged 1 commit into
boostorg:developfrom
henryiii:henryiii/fix-base-ref

Commits

  1. Commits on Jul 23, 2026