Skip to content

Fix VERSIONBUILD stability and unify root test/CI entrypoints#12

Merged
pd95 merged 3 commits intomasterfrom
codex/root-test-targets-docs
Feb 20, 2026
Merged

Fix VERSIONBUILD stability and unify root test/CI entrypoints#12
pd95 merged 3 commits intomasterfrom
codex/root-test-targets-docs

Conversation

@pd95
Copy link
Owner

@pd95 pd95 commented Feb 20, 2026

Summary

  • fix VERSIONBUILD handling in VARS so sub-makes share a stable build date across long-running builds/restarts
  • add top-level test entrypoints in Makefile:
    • make test
    • make test-all
    • make test-qed
  • update tests/Makefile to avoid BUILD_DIR collisions when called from root make
  • document test usage in README.md
  • align CI workflow commands with root test entrypoints (make test, make test-all)

Files changed

  • .github/workflows/make.yml
  • Makefile
  • README.md
  • VARS
  • tests/Makefile

Fixes #9

Codex App added 3 commits February 20, 2026 22:22
Store VERSIONBUILD in compile/.versionbuild so day rollovers do not change source/package paths mid-build.

This keeps a consistent VERSIONBUILD across sub-makes and allows explicit override via make VERSIONBUILD=...

Refs #9
Add top-level Makefile targets for fast, full, and QED-only test execution, delegating to tests/ while preserving PREFIX.

Update tests Makefile to avoid BUILD_DIR collisions with exported top-level variables.

Document the new root-level test commands in README.
Use top-level test entrypoints in workflow: make test and make test-all with PREFIX override.
@pd95 pd95 merged commit 9900bbc into master Feb 20, 2026
1 check passed
@pd95 pd95 deleted the codex/root-test-targets-docs branch February 20, 2026 22:04
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.

Compilation fails when crossing midnight

1 participant