Hi! I was reading through the src/CODING_STYLE.md document, and noticed that both make check-style and make check-format are documented as running as a "CI gate".
However, I don't see any .github/workflows/ directory or other CI configuration files in the public repository. I recently opened a PR (#3) to fix some existing clang-format violations so the checks pass cleanly locally.
I wanted to ask: are the CI files missing from the public release, or is the CI intended to only run on an internal private server?
If you plan to use GitHub Actions in the future, I'd be happy to help contribute a basic workflow file so that PRs are checked automatically!
Hi! I was reading through the
src/CODING_STYLE.mddocument, and noticed that bothmake check-styleandmake check-formatare documented as running as a "CI gate".However, I don't see any
.github/workflows/directory or other CI configuration files in the public repository. I recently opened a PR (#3) to fix some existing clang-format violations so the checks pass cleanly locally.I wanted to ask: are the CI files missing from the public release, or is the CI intended to only run on an internal private server?
If you plan to use GitHub Actions in the future, I'd be happy to help contribute a basic workflow file so that PRs are checked automatically!