Repository navigation
Add CI check to ensure that rustdoc JSON FORMAT_VERSION is correctly updated - #142677
Merged
bors merged 4 commits intoJun 21, 2025
Merged
FORMAT_VERSION is correctly updated - #142677