chore(ci) Check the contract pin in the PR pipeline #57
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "contract-pin-check"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Adds a separate job
contract_pinto the PR pipeline. It is the same job as in recipe-backend#29.Why
contract.refnames the recipe-platform commit this repo builds against. During development a feature branch may pin a commit on an unmerged platform contract branch. To get intostage, the pin has to be on platformmainand must not be older than the pin on the base branch. See the recipe-platform ADRdocs/adr/2026-10-03-contract-pin.md(recipe-platform#39).The two checks
check_pin_on_platform_main: fails while the pinned commit is not on recipe-platformmain. Message: merge the platform contract PR first, then re-run this check.check_pin_not_older_than_base: fails when the pin is older than the pin on the PR's base branch. Message: take the base branch in. It is skipped when the base branch has nocontract.ref, which is the case for a release PR againstmainuntilmaincarries one.The existing
testjob is unchanged and keeps its own status, so a PR shows real build and lint results while its pin is still on a contract branch. After a platform contract PR is merged, thecontract_pincheck has to be re-run by hand.CLAUDE.mddescribes the check in thecontract.refparagraph. No UI changed, so no UI verification.🤖 Generated with Claude Code