Skip to content

rustdoc-json: Rename Path::name to path, and give it the path again. #147070

rustdoc-json: Rename Path::name to path, and give it the path again.

rustdoc-json: Rename Path::name to path, and give it the path again. #147070

Triggered via pull request January 21, 2025 23:15
Status Cancelled
Total duration 16m 17s
Billable time 32m
Artifacts

ci.yml

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

Annotations

6 errors
PR - x86_64-gnu-tools
Canceling since a higher priority waiting request for 'CI-refs/pull/135799/merge' exists
PR - x86_64-gnu-tools
The operation was canceled.
PR - x86_64-gnu-llvm-18
Canceling since a higher priority waiting request for 'CI-refs/pull/135799/merge' exists
PR - x86_64-gnu-llvm-18
The operation was canceled.
PR - mingw-check
Canceling since a higher priority waiting request for 'CI-refs/pull/135799/merge' exists
PR - mingw-check
The operation was canceled.