Skip to content

docs: read current versions from source manifests - #60

Merged
DerekCorniello merged 2 commits into
mainfrom
docs/current-version-source
Aug 30, 2026
Merged

docs: read current versions from source manifests#60
DerekCorniello merged 2 commits into
mainfrom
docs/current-version-source

Conversation

@DerekCorniello

Copy link
Copy Markdown
Contributor

Replace obsolete hard-coded compiler/runtime versions in the architecture and release guidance with pointers to the authoritative manifests and lockfile. This keeps cross-repo documentation accurate as releases move.\n\nChecks: python3 scripts/ci/check-docs.py; python3 -m pytest -q scripts/tests/test_check_docs.py

@greptile-apps

greptile-apps Bot commented Aug 30, 2026

Copy link
Copy Markdown

Greptile Summary

The PR replaces stale compiler and runtime version examples with direct links to their authoritative manifests and lockfile.

  • Adds navigable source links to the architecture overview.
  • Mirrors the authoritative-source guidance in the release process.

Confidence Score: 5/5

The PR appears safe to merge.

No blocking failure remains; the previous source-reference issue is fixed by direct links to all three authoritative files.

Important Files Changed

Filename Overview
ARCHITECTURE.md Replaces hard-coded version examples with direct links to the compiler manifest, runtime manifest, and compiler lockfile, resolving the prior navigability issue.
docs/release-process.md Applies the same authoritative-source links to release guidance and explains why changing versions are not duplicated.

Reviews (2): Last reviewed commit: "docs: link version source manifests" | Re-trigger Greptile

Comment thread ARCHITECTURE.md Outdated
@sonarqubecloud

Copy link
Copy Markdown

@DerekCorniello
DerekCorniello enabled auto-merge (squash) August 30, 2026 16:17
@DerekCorniello
DerekCorniello merged commit 6d3fe6e into main Aug 30, 2026
4 checks passed
@DerekCorniello
DerekCorniello deleted the docs/current-version-source branch August 30, 2026 16:19
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