Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #10492 - hi-rustin:rustin-patch-timings, r=ehuss
Add a link to the document in the timings report ### What does this PR try to resolve? close #10487 Add a link to the document in the header of timings report. ### How should we test and review this PR? `cargo build --timings` ![image](https://user-images.githubusercontent.com/29879298/163180843-152b032d-8276-4f93-a5b8-f492bcc6c8d5.png)
- Loading branch information