#17621: fix: formal_conformance comment step should not fail job on fork PRs
stale
size: XS
Cluster:
GitHub Actions CI Improvements
The 'Comment on PR (informational)' step in formal-conformance.yml fails on fork PRs with 'Resource not accessible by integration' because fork PR tokens don't have write access to the base repo. This fails the entire job even though all actual model checks (green suite + negative suite) pass successfully.
The comment is already described as 'informational' and 'not blocking merges yet', so it should use continue-on-error: true to match that intent.
Affects all external contributor PRs (e.g. #16399, #16700).
<!-- greptile_comment -->
<h3>Greptile Summary</h3>
Added `continue-on-error: true` to the "Comment on PR (informational)" step in `.github/workflows/formal-conformance.yml:111` to prevent fork PR failures when the GitHub token lacks write permissions to the base repository.
- Fixes `Resource not accessible by integration` errors on external contributor PRs
- Aligns behavior with the step's documented intent (informational, non-blocking)
- Consistent with the workflow's existing use of `continue-on-error` for the negative suite (line 81)
<h3>Confidence Score: 5/5</h3>
- This PR is safe to merge with no risk
- The change is a single-line addition that prevents job failure when permissions are insufficient, matching the step's documented intent as "informational" and "not blocking merges yet". The fix follows an established pattern in the same workflow (negative suite at line 81) and resolves a real issue affecting external contributors without altering any actual validation logic.
- No files require special attention
<sub>Last reviewed commit: 0c9ca1b</sub>
<!-- greptile_other_comments_section -->
<sub>(5/5) You can turn off certain types of comments like style [here](https://app.greptile.com/review/github)!</sub>
<!-- /greptile_comment -->
Most Similar PRs
#17426: ci(formal): don't fail on fork PRs when PR comment is blocked
by mitre88 · 2026-02-15
86.6%
#5884: fix: curly lint errors and formal conformance fork permissions
by codearranger · 2026-02-01
78.5%
#17452: ci: Grant write perms for Issues for formal-conformance.yml
by thesomewhatyou · 2026-02-15
76.6%
#11048: fix: address repository issues (env, author, CI comments, security ...
by cavula · 2026-02-07
69.6%
#11765: fix(ci): restrict GITHUB_TOKEN permissions in workflows
by coygeek · 2026-02-08
68.5%
#6577: fix: add null checks for stdout/stderr when using inherit-stdio fal...
by ncmalan · 2026-02-01
67.0%
#7085: test: skip flaky workspace-paths & safe-bins tests on non-Linux/CI ...
by ThinkIbrokeIt · 2026-02-02
67.0%
#18971: Test change to trigger Refacto review
by praharshitakulkarni-hue · 2026-02-17
66.3%
#13577: fix(onboard): validate workspace directory before setup steps
by mcaxtr · 2026-02-10
66.2%
#6596: Fix pre-existing formatting issues causing CI failures
by ryancnelson · 2026-02-01
65.9%