Add a link to the document in the timings report#10492

Merged

bors merged 2 commits intorust-lang:masterfrom Rustin170506:rustin-patch-timings

Apr 18, 2022

+1

Commits on Mar 21, 2022

Add a link to the document in the timings report
Rustin170506
committed

Commits on Apr 13, 2022

Switch to the next line
Rustin170506
committed