Repository navigation
fix(ci): resync workflow pins with actions.lock and resolve orphan Hypatia compare - #3
Merged
Merged
Conversation
…ets, and audit orphan branch Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
|
Important Review skippedBot user detected. To trigger a single review, invoke the ⚙️ Run configurationConfiguration used: Organization UI Review profile: ASSERTIVE Plan: Advanced Run ID: You can disable this status message by setting the Use the checkbox below for a quick retry:
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
hyperpolymath
approved these changes
Sep 29, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Why this PR exists
The compare main...coderabbit/fix-hypatia-scan-failures/f36ac704 cannot become a PR. GitHub reports no common ancestor (HTTP 404):
mainis1b3578bcoderabbit/fix-hypatia-scan-failures/f36ac704is parentless commit40296f6(“Initialize coderabbit/fix-hypatia-scan-failures/f36ac704”) created 2 seconds after the initial commit.That orphan tree is an older RSR-template snapshot (with legacy
machine-readable/, missingwww/, deleted modern scripts, and AGPL-3.0 text). Merging it would destroy modern repository structure and the Session IR / stackcert research code.The actual Hypatia ignore entries from rsr-template-repo#89 (
RE001/RE005/RE008) are already onmainin.hypatia-ignore.Owner action: Delete the remote branch
coderabbit/fix-hypatia-scan-failures/f36ac704.CI fixes in this PR
da2c748cloneshypatia@HEADand runsmix escript.build. Scanner build failed upstream onhypatia@HEAD(hypatia#863/standards#1014, same ~31s failure estate-wide). The scanner never ran. In addition, the caller workflow was missingsecrets: inherit.secrets: inheritin.github/workflows/hypatia-scan.yml. Scanner build will succeed once upstream HEAD is cleared.startup_failureonmain(CodeQL, Pages, etc.)codeql-actionto 4.38.2 (2892aa5) andhaskell-actions/setuptov2.12.1in the YAML without updatingactions.lock. That desync causes GitHub Actions to reject runs at startup (creating 0 jobs and reporting "This run likely failed because of a workflow file issue."). Furthermore,codeql-actionv4.38.1/4.38.2 is blocked estate-wide (nexia-list#100).codeql-action/initandanalyzetob96794f015dfd88f77b49b1c93e0fa7110f94c63(v4.38.0). Revertedhaskell-actions/setuptov2.12.0.actions.lock.actions.lock).REPOSITORY-MAP.adochad not been regenerated after PR #2 addedULTRAPLAN.mdand populatedexamples/.scripts/gen-repo-map.sh(tests/shape/repo_map_determinism_test.shPASS).Full write-up added in
docs/status/HYPATIA-GATE.adoc.