diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-07 15:51:15 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-07 15:51:15 -0500 |
| commit | 1089f8f242b6687bee3284fb76e1cdba0664d0a4 (patch) | |
| tree | 62a27cad6e194aaced0c57399e21502a2e69c4bf /components/script/dom/bindings/codegen/Configuration.py | |
| parent | 77a5a1834b0d7ba0e51b24f0a7c3880479efc20a (diff) | |
| parent | cb693b32289adce6532a5453b96c751de8ac7673 (diff) | |
| download | servo-1089f8f242b6687bee3284fb76e1cdba0664d0a4.tar.gz servo-1089f8f242b6687bee3284fb76e1cdba0664d0a4.zip | |
Auto merge of #24683 - servo:split, r=jdm
Split doc generation into its own task
This task reached its 60 minutes timeout in
https://community-tc.services.mozilla.com/tasks/YByC2V7uQq2lQv40TVi5KQ/runs/1/logs/live/https%3A%2F%2Fcommunity-tc.services.mozilla.com%2Fapi%2Fqueue%2Fv1%2Ftask%2FYByC2V7uQq2lQv40TVi5KQ%2Fruns%2F1%2Fartifacts%2Fpublic%2Flogs%2Flive.log#L6276
Diffstat (limited to 'components/script/dom/bindings/codegen/Configuration.py')
0 files changed, 0 insertions, 0 deletions