Skip to content

CI: make the lint-docs job required#14797

Merged
weihanglo merged 1 commit intorust-lang:masterfrom
Kobzol:ci-require-lint-docs
Nov 8, 2024

Commits

Commits on Nov 8, 2024