Skip to content

Harden released documentation builds - #16

Merged
ikelaiah merged 1 commit into
mainfrom
chore/pre-v1.9.3-housekeeping
Aug 23, 2026
Merged

Harden released documentation builds#16
ikelaiah merged 1 commit into
mainfrom
chore/pre-v1.9.3-housekeeping

Conversation

@ikelaiah

Copy link
Copy Markdown
Owner

Summary\n- build published documentation only from immutable source_ref tags while preserving an explicit development preview mode\n- cover tagged document and SVG asset provenance with a regression test\n- document the Pages contract and record post-v1.9.2 documentation changes under Unreleased\n- remove verified merged remote branches and enable automatic branch deletion after merge\n\n## Verification\n- python tools/test_build_docs.py\n- python tools/test_build_all_docs.py\n- python tools/test_check_built_docs.py\n- python tools/test_check_docs.py\n- python tools/check_docs.py\n- python tools/test_docs_examples.py --build-dir build/pre-v1.9.3-final/docs-examples\n- released and development �uild_all_docs.py builds plus check_built_docs.py\n- FPCUnit: 159 tests, 0 failures\n- Lazarus package and representative feature-flag example compilation

Build published documentation exclusively from the declared release source refs while retaining an explicit development preview mode. Cover document and asset provenance with a tagged repository regression test, and document the publishing contract.
@ikelaiah
ikelaiah merged commit d65f56d into main Aug 23, 2026
2 checks passed
@ikelaiah
ikelaiah deleted the chore/pre-v1.9.3-housekeeping branch August 23, 2026 07:02
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