Skip to content

Checkout base branch instead of PR head in build workflow #242

Checkout base branch instead of PR head in build workflow

Checkout base branch instead of PR head in build workflow #242

build

succeeded Feb 3, 2026 in 26s