Add CI check to ensure that rustdoc JSON FORMAT_VERSION is correctly updated#142677
Merged
bors merged 4 commits intoJun 21, 2025
Merged
The logs for this run have expired and are no longer available.
Loading