Auto merge of #29905 - servo:build-timings, r=atbrakhi

Collect build timings on GitHub CI

This will help to investigate slow builds on GitHub.

<!-- Please describe your changes on the following line: -->

---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes do not require tests because they do not change behavior.

<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->

<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->

1 files changed, 1 insertions, 3 deletions

diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py
index 30d6618f19b..1cf23237807 100644
--- a/python/servo/build_commands.py
+++ b/python/servo/build_commands.py
@@ -393,9 +393,7 @@ class MachCommands(CommandBase):
                         expr = "s#libdir=.*#libdir=%s#g" % gst_lib_path
                         subprocess.call(["perl", "-i", "-pe", expr, pc])
 
-        # https://internals.rust-lang.org/t/exploring-crate-graph-build-times-with-cargo-build-ztimings/10975
-        # Prepend so that e.g. `-Ztimings` (which means `-Ztimings=info,html`)
-        # given on the command line can override it
+        # Gather Cargo build timings (https://doc.rust-lang.org/cargo/reference/timings.html).
         opts = ["--timings"] + opts
 
         if very_verbose: