Builder linux-rel-wpt Build #7215
Results:
Build successful
SourceStamp:
| Project | servo/servo |
| Repository | https://github.com/servo/servo |
| Branch | auto |
| Revision | 8e3056d0cc7caebc218d51373b3aa0ccd331fa20 |
| Got Revision | 8e3056d0cc7caebc218d51373b3aa0ccd331fa20 |
| Changes | 1 change |
BuildSlave:
servo-linux1Reason:
The AnyBranchScheduler scheduler named 'servo-auto' triggered this build
Steps and Logfiles:
-
git update ( 9 secs )
-
generic generic ( 0 secs )
- - no logs -
-
generic_1 generic_1 ( 0 secs )
- - no logs -
-
shell 'pkill -x ...' ( 0 secs )
-
shell__1 './mach clean-nightlies ...' ( 9 secs )
-
compile ran build --release --with-debug-assertions ( 22 mins, 37 secs )
- - no logs -
-
test ran test-wpt-failure ( 0 secs )
-
test__1 ran test-wpt --release --processes 24 --total-chunks 2 --this-chunk 1 --always-succeed ( 17 mins, 39 secs )
-
shell__2 './mach filter-intermittents ...' ( 0 secs )
-
test__2 ran test-wpt --release --binary-arg=--multiprocess --processes 24 eventsource ( 8 secs )
Build Properties:
| Name | Value | Source |
|---|---|---|
| branch | auto | Build |
| builddir | /home/servo/buildbot/slave/linux-rel-wpt | slave |
| buildername | linux-rel-wpt | Builder |
| buildnumber | 7215 | Build |
| codebase | Build | |
| got_revision | 8e3056d0cc7caebc218d51373b3aa0ccd331fa20 | Git |
| project | servo/servo | Build |
| repository | https://github.com/servo/servo | Build |
| revision | 8e3056d0cc7caebc218d51373b3aa0ccd331fa20 | Build |
| scheduler | servo-auto | Scheduler |
| slavename | servo-linux1 | BuildSlave |
| warnings-count | 0 | WarningCountingShellCommand |
| workdir | /home/servo/buildbot/slave/linux-rel-wpt | slave (deprecated) |
Forced Build Properties:
| Name | Label | Value |
|---|
Responsible Users:
- bors-servolbergstrom+bors@mozilla.com
Timing:
| Start | Thu Dec 7 15:21:51 2017 |
| End | Thu Dec 7 16:02:36 2017 |
| Elapsed | 40 mins, 45 secs |
All Changes:
:
Change #69987
Category None Changed by bors-servo <lbergstrom+bors@mozilla.com> Changed at Thu 07 Dec 2017 15:21:50 Repository https://github.com/servo/servo Project servo/servo Branch auto Revision 8e3056d0cc7caebc218d51373b3aa0ccd331fa20 Comments
Auto merge of #19509 - jonleighton:remove-input-type-datetime, r=jdm Remove support for <input type=datetime> It has been removed from the spec: https://github.com/whatwg/html/issues/336 See also https://github.com/servo/servo/pull/19471#pullrequestreview-80711878 --- <!-- 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 - [ ] These changes fix #__ (github issue number if applicable). <!-- Either: --> - [X] There are tests for these changes OR - [ ] These changes do not require tests because _____ <!-- 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. --> <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19509) <!-- Reviewable:end -->
Changed files
- components/atoms/static_atoms.txt
- components/script/dom/htmlinputelement.rs
- tests/wpt/metadata/html/semantics/forms/historical.html.ini