Change to Merge Workflow

Change to Merge Workflow A workflow diagram generated by Archify. 01 / Developer machine 02 / Commit + GitHub EX / Fix + retry Change Build + verify Share Edit src/ · C23, Allman · Developer machine › Change Edit src/ C23, Allman Build Parity · both manifests · Developer machine › Change Build Parity both manifests make -j test · production-linked · Developer machine › Build + verify make -j test production-linked make install · bin/luminari · Developer machine › Build + verify make install bin/luminari Run on 4100 · autorun.sh · Developer machine › Share Run on 4100 autorun.sh git commit · pre-commit hooks · Commit + GitHub › Share git commit pre-commit hooks GitHub Actions · 8 workflows · Commit + GitHub › Share GitHub Actions 8 workflows Fix + Re-run · failing gate · Fix + retry › Build + verify Fix + Re-run failing gate hook rewrote in sync git push retry smoke test files added? stage failure tests pass Legend Developer step Build step Gate Recovery CI service

Local contract

  • • New file: update both manifests
  • • make test, then make install
  • • No luminari binary in the root

Commit hooks

  • • clang-format 18.1.8 on C files
  • • Hygiene: ASCII docs, no artifacts
  • • pre-push runs a full make

GitHub Actions

  • • Build & Test: matrix, cutest, fuzz
  • • Hygiene, Quality, Security
  • • Pages from docs/, tags release