diff options
author | Simon Sapin <simon.sapin@exyr.org> | 2019-07-01 19:44:35 +0200 |
---|---|---|
committer | Simon Sapin <simon.sapin@exyr.org> | 2019-07-02 18:29:24 +0200 |
commit | 6609b098d6f12e6ccaeb83783778efa80fd20271 (patch) | |
tree | fda7ff31120acaa50aa3521d33216ec6e061b644 /etc/taskcluster/decision_task.py | |
parent | 7c85dc09b59e653caf60cb18d3b3fdea2ba4d4ae (diff) | |
download | servo-6609b098d6f12e6ccaeb83783778efa80fd20271.tar.gz servo-6609b098d6f12e6ccaeb83783778efa80fd20271.zip |
Add `./mach check` to CI
Diffstat (limited to 'etc/taskcluster/decision_task.py')
-rw-r--r-- | etc/taskcluster/decision_task.py | 24 |
1 files changed, 18 insertions, 6 deletions
diff --git a/etc/taskcluster/decision_task.py b/etc/taskcluster/decision_task.py index 781e9191974..3bcd1db3658 100644 --- a/etc/taskcluster/decision_task.py +++ b/etc/taskcluster/decision_task.py @@ -193,12 +193,24 @@ def linux_tidy_unit_docs(): ./etc/ci/check_no_panic.sh RUSTDOCFLAGS="--disable-minification" ./mach doc - cd target/doc - git init - time git add . - git -c user.name="Taskcluster" -c user.email="" \ - commit -q -m "Rebuild Servo documentation" - git bundle create docs.bundle HEAD + ( + cd target/doc + git init + git add . + git -c user.name="Taskcluster" -c user.email="" \ + commit -q -m "Rebuild Servo documentation" + git bundle create docs.bundle HEAD + ) + + """ + # Because `rustdoc` needs metadata of dependency crates, + # `cargo doc` does almost all of the work that `cargo check` does. + # Therefore, when running them in this order the second command does very little + # and should finish quickly. + # The reverse order would not increase the total amount of work to do, + # but would reduce the amount of parallelism available. + """ + ./mach check """) .with_artifacts("/repo/target/doc/docs.bundle") .find_or_create("docs." + CONFIG.task_id()) |