From e679e1f79399a41bb9724c6681c94235845306f8 Mon Sep 17 00:00:00 2001 From: Martin Robinson Date: Wed, 21 Jun 2023 14:43:11 +0200 Subject: Collect build timings on GitHub CI This will help to investigate slow builds on GitHub. --- python/servo/build_commands.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'python/servo/build_commands.py') 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: -- cgit v1.2.3