Builder linux-rel-wpt Build #9346
Results:
Build successful
SourceStamp:
| Project | servo/servo |
| Repository | https://github.com/servo/servo |
| Branch | auto |
| Revision | e363d579fa3fbceb4659d9128f800571750087d6 |
| Got Revision | e363d579fa3fbceb4659d9128f800571750087d6 |
| Changes | 1 change |
BuildSlave:
servo-linux3Reason:
The AnyBranchScheduler scheduler named 'servo-auto' triggered this build
Steps and Logfiles:
-
git update ( 4 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 ...' ( 10 secs )
-
shell__2 './mach clean-cargo-cache ...' ( 1 secs )
-
shell__3 './etc/ci/clean_build_artifacts.sh' ( 0 secs )
-
compile ran build --release --with-debug-assertions -p servo warnings ( 10 mins, 24 secs )
-
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, 50 secs )
-
shell__4 './mach filter-intermittents ...' ( 1 secs )
-
test__2 ran test-wpt --release --binary-arg=--multiprocess --processes 24 eventsource ( 9 secs )
Build Properties:
| Name | Value | Source |
|---|---|---|
| branch | auto | Build |
| builddir | /home/servo/buildbot/slave/linux-rel-wpt | slave |
| buildername | linux-rel-wpt | Builder |
| buildnumber | 9346 | Build |
| codebase | Build | |
| got_revision | e363d579fa3fbceb4659d9128f800571750087d6 | Git |
| project | servo/servo | Build |
| repository | https://github.com/servo/servo | Build |
| revision | e363d579fa3fbceb4659d9128f800571750087d6 | Build |
| scheduler | servo-auto | Scheduler |
| slavename | servo-linux3 | BuildSlave |
| warnings-count | 1 | 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 | Tue Aug 7 10:51:19 2018 |
| End | Tue Aug 7 11:20:03 2018 |
| Elapsed | 28 mins, 43 secs |
All Changes:
:
Change #88112
Category None Changed by bors-servo <lbergstrom+bors@mozilla.com> Changed at Tue 07 Aug 2018 10:51:19 Repository https://github.com/servo/servo Project servo/servo Branch auto Revision e363d579fa3fbceb4659d9128f800571750087d6 Comments
Auto merge of #21302 - paulrouget:res, r=mbrubeck Fix page size when device-pixel-ratio is set manually Fix #21277 We were using the user-define pixel ratio to get the device values of the winit coordinates. <!-- 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/21302) <!-- Reviewable:end -->
Changed files
- ports/servo/glutin_app/window.rs