adacovex 1.39.0¶
Date: 2026-08-30
Version bumped 1.38.0 -> 1.39.0.
Changes¶
C1: README links point to the deployed manual¶
The README documentation links now point at the deployed Read the Docs
site (https://adacovex.readthedocs.io/en/latest/...) instead of relative
docs/... paths. The changelog entries use the same URL shape that
make release publishes in the release notes, so the repo, the deployed
site, and any local checkout reference one shared location.
Fixes¶
H1: Read the Docs deploy fails on configuration validation¶
The .readthedocs.yaml build failed before mdBook ran with
Missing configuration option. Read the Docs validation requires
build.tools (or build.commands) whenever build.jobs is used, but the
config declared only build.os and the build.jobs steps. Recreating the
project on the Read the Docs site could not help, because the validator
reads the config file from the repository on every build. The config now
declares build.tools, so validation passes and the manual deploys again.
Test Suite¶
The native suite is unchanged: 1186 tests across 16 categories still pass. This release changes documentation and build configuration only, so it adds no native assertions.
Proof Results¶
Platinum, 0 unproved, 0 justified, 725 VCs (725 proved) under gnatprove 16.1.0. No analysed Ada changed in this release, so the totals are unchanged.
Traceability¶
No new HLRs. The release touches documentation and build infrastructure only.
HLR-DOC– C1 the README deployed-manual links, H1 the Read the Docs config fix, and thedocs/changelogsindex undermake book.