Add CI check to ensure that rustdoc JSON FORMAT_VERSION
is correctly updated#142677
Merged
bors merged 4 commits intorust-lang:masterfrom Jun 21, 2025
Merged
Commits
Commits on Jun 20, 2025
- committed
- committed
- committed
- committed