Skip to content

Turn rustc-dev-guide into a Josh subtree #145132

Turn rustc-dev-guide into a Josh subtree

Turn rustc-dev-guide into a Josh subtree #145132

Triggered via pull request January 1, 2025 16:07
Status Success
Total duration 1h 0m 59s
Artifacts 1

ci.yml

on: pull_request
Calculate job matrix
11s
Calculate job matrix
Matrix: job
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

4 errors
PR - x86_64-gnu-tools
this file contains an unclosed delimiter
PR - x86_64-gnu-tools
this file contains an unclosed delimiter
PR - x86_64-gnu-tools
lifetimes cannot start with a number
PR - x86_64-gnu-tools
unexpected `if` in the condition expression

Artifacts

Produced during runtime
Name Size Digest
doc-134907-47e2baa1 Expired
13.1 MB
sha256:a50f0b582c3f47c17f89e92466126fb8000d9335889bb4740ebb4e8885f683ce