Restore v0.57 CI execution without deferred submodules - #154
Merged
Conversation
Use workflow contexts accepted at job scope, keep deferred LinxCore and pyCircuit work outside the v0.57 CI closure, and refresh documentation freshness metadata so the first executable gates can proceed. Constraint: LinxCore and pyCircuit are explicitly deferred from the v0.57 superproject closure. Rejected: Keep runner.temp at job scope | GitHub rejects the workflow before creating jobs. Confidence: high Scope-risk: narrow Directive: Keep deferred submodules out of release CI until a separately verified closure decision. Tested: actionlint; documentation integrity check; generated ISA page drift check; git diff --check. Not-tested: Full hosted Actions matrix before push.
![gemini-code-assist[bot]](https://avatars.githubusercontent.com/in/956858?s=60&v=4){kind=small}
There was a problem hiding this comment.
Code Review
This pull request updates the source and translation SHA-256 hashes in docs/zh/translation-manifest.json for several documentation files, including maturity plans, progress reports, compiler subsets, QEMU coverage, libc status, and release notes. I have no feedback to provide.
Important
The consumer version of Gemini Code Assist on GitHub is being sunset. Starting June 18, 2026, new organization installations will be blocked, and all code review activity will officially cease on July 17, 2026.
For more details on the timeline and next steps, please review the Help Documentation.
Align the manual lockfile with the supported CI Ruby, simplify single-candidate tool discovery, and permit uninitialized submodules while still rejecting mismatched initialized leaves. Constraint: LinxCore and pyCircuit remain intentionally uninitialized and outside the v0.57 closure. Rejected: Initialize every submodule in CI | it would pull deferred leaves into closure and needlessly expand runtime. Confidence: high Scope-risk: narrow Directive: A leading dash in git submodule status is allowed only as uninitialized state; initialized leaves must remain clean and pinned. Tested: ShellCheck error severity across tracked shell scripts; bash syntax; layout policy; documentation integrity; actionlint; git diff --check. Not-tested: Hosted Ruby/Bundler install until the updated PR run.
Install Z3 before exercising Sail 0.20.2 and make the workflow's shell-file collection robust under both actionlint and ShellCheck. Constraint: The required parser and C-backend gates must run with the pinned Sail release. Rejected: Relax the Sail gate | that would weaken the published v0.57 verification contract. Confidence: high Scope-risk: narrow Directive: Keep Z3 available whenever Sail parser or backend validation is required. Tested: actionlint with ShellCheck integration; git diff --check. Not-tested: Hosted Sail invocation until the updated PR run.
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
1 participant
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.
Summary
runner.tempexpressions with workspace-scoped paths accepted by GitHub ActionsVerification
actionlint .github/workflows/ci.ymlpython3 docs/check_documentation.py --root .git diff --checkThis is a post-release CI-only correction. It does not move or rewrite the published
v0.57tag.