Uh oh!
There was an error while loading. Please reload this page.
End cleanup on rustdoc-js tools - #70774
Conversation
rust-highfive
commented
Apr 4, 2020
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
GuillaumeGomez
commented
Apr 7, 2020
The failure seems to come from outside of my code. An idea maybe @pietroalbini ? |
emilyalbini
commented
Apr 7, 2020
If I remember correctly that was just a spurious failure. Restarted the PR build. |
GuillaumeGomez
commented
Apr 8, 2020
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
a43eaf4 to
34e9f50CompareGuillaumeGomez
commented
Apr 11, 2020
Updated! |
ollie27
left a comment
There was a problem hiding this comment.
This is looking good now, thanks. With these minor issues fixed, r=me.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
34e9f50 to
426055cCompareollie27
commented
Apr 15, 2020
@bors r+ |
bors
commented
Apr 15, 2020
📌 Commit 426055c has been approved by |
Rollup of 6 pull requests Successful merges: - rust-lang#69903 (Do not ICE in the face of invalid enum discriminant) - rust-lang#70354 (Update RELEASES.md for 1.43.0) - rust-lang#70774 (End cleanup on rustdoc-js tools) - rust-lang#70990 (Improve rustdoc source code a bit) - rust-lang#71145 (Add illumos triple) - rust-lang#71166 (Clean up E0518 explanation) Failed merges: r? @ghost
Fixes#70689.
It removes a lot of code, which is pretty nice. :3
We now only have one entry point and a small set of options.
r? @ollie27