Repository navigation

Add reproducible module tooling and GitHub Actions - #8

Merged

laodouya merged 3 commits into

deps/module-tooling

Nov 6, 2026

Merged

Add reproducible module tooling and GitHub Actions#8
laodouya merged 3 commits into
masterfrom
deps/module-tooling

Commits on Nov 6, 2026
- Add reproducible module tooling and GitHub Actions
  laodouya
  committed
  2d5633c
- Correct the parser regeneration toolchain requirement
  laodouya
  committed
  718c774
- Merge master with corrected parser tests
  laodouya
  committed
  bbec715