Skip to content

Comments

ci: disable submodule checkout and make checks gating#32

Open
heidi-dang wants to merge 9 commits intomainfrom
ci-pure
Open

ci: disable submodule checkout and make checks gating#32
heidi-dang wants to merge 9 commits intomainfrom
ci-pure

Conversation

@heidi-dang
Copy link
Owner

Summary

  • Stops recursive submodule/.local checkout that caused exit 128 in Actions
  • Removes failure-masking so build/lint/tests are truly gating
  • Notes that CI intentionally skips .local (public repo doesn't need private submodule)

Changes

  • Removed "Initialize submodules" step from build-test job
  • Removed || true from cmake --preset debug
  • Removed || true from cmake --build --preset debug
  • Removed || true from clang-format lint check
  • Removed || true from ./scripts/test.sh
  • Added descriptive comment at top of workflow

Why

The .local submodule is private and cannot be fetched in GitHub Actions, causing checkout to fail with exit 128. Since .local is not required for building or testing heidi-kernel (it's governance/developer docs only), we disable submodule checkout entirely.

Tests run

Local verification only - the actual CI impact will be visible once this PR merges and other PRs re-run.

Related

@gemini-code-assist
Copy link

Note

Gemini is unable to generate a summary for this pull request due to the file types involved not being currently supported.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant