Development record
TestThePublishConditionNeedsAGreenVerify derives whether a source is the reusable gate from the condition under test (gate := strings.Contains(cond, "inputs.publish")), so deleting the '&& inputs.publish' clause from the gate profile's build and release jobs in release.yml.tmpl leaves the suite green; a caller that passes publish: false with contents: write would then get a Release from the gate before its own build. The expectation must come from the profile that rendered the source.
issueresolvedmajoriss-2609260149234099
TestThePublishConditionNeedsAGreenVerify derives whether a source is the reusable gate from the condition under test (gate := strings.Contains(cond, "inputs.publish")), so deleting the '&& inputs.publish' clause from the gate profile's build and release jobs in release.yml.tmpl leaves the suite green; a caller that passes publish: false with contents: write would then get a Release from the gate before its own build. The expectation must come from the profile that rendered the source.
Grounds
- pursued: a gate-profile template missing '&& inputs.publish' on its build or release job fails TestThePublishConditionNeedsAGreenVerify; a mutant that removes either clause and still passes would show it wrong
Frontmatter
| id | iss-2609260149234099 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | major |
.abcd/work/issues/resolved/iss-2609260149234099-testthepublishconditionneedsagreenverify.md
open on GitHub ↗ · commit history ↗