mirror of
https://github.com/google/comprehensive-rust.git
synced 2025-03-05 16:36:19 +02:00
Now that we multiple jobs, this will look better in the GitHut output: “Build / mdbook (pull_request)” and “Test / mdbook (pull_request)”.