fix(ci): restore toolchain pin on main + guard sync-pin-on-pr against protected branches - #1309

Merged

Wikid82 merged 2 commits into

mainfrom

fix/restore-toolchain-pin-main

Sep 8, 2026

Commits on Sep 8, 2026

fix(ci): restore the toolchain pin to match main's recipe
Wikid82
committed
30f954c
fix(ci): stop sync-pin-on-pr from committing to long-lived branches
Wikid82
committed
2e750b4