Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rollup of 4 pull requests #70895

Closed
wants to merge 10 commits into from
Closed

Rollup of 4 pull requests #70895

wants to merge 10 commits into from

Commits on Apr 6, 2020

  1. Remove the Ord bound that was plaguing drain_filter, and superfluous … 

    …lifetimes
    @ssomers
    ssomers committed Apr 6, 2020
    Configuration menu
    Copy the full SHA
    6ee7e8c View commit details
    Browse the repository at this point in the history

  2. ci: move /var/lib/docker to /mnt on GHA 

    There are some builders that are running out of disk space while
building the Docker images, such as arm-android. This moves and symlinks
/var/lib/docker to the /mnt partition on Linux GHA.
    @pietroalbini
    pietroalbini committed Apr 6, 2020
    Configuration menu
    Copy the full SHA
    1ce9257 View commit details
    Browse the repository at this point in the history

  3. BTreeMap first/last: simplify implementations

    @ssomers
    ssomers committed Apr 6, 2020
    Configuration menu
    Copy the full SHA
    bdbe56e View commit details
    Browse the repository at this point in the history

  4. BTreeMap first/last: make examples more to the point

    @ssomers
    ssomers committed Apr 6, 2020
    Configuration menu
    Copy the full SHA
    c23ee76 View commit details
    Browse the repository at this point in the history

  5. BTreeMap first/last: add pop methods

    @ssomers
    ssomers committed Apr 6, 2020
    Configuration menu
    Copy the full SHA
    8212b97 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2020

  1. Clean up E0507 explanation

    @GuillaumeGomez
    GuillaumeGomez committed Apr 7, 2020
    Configuration menu
    Copy the full SHA
    6569a2e View commit details
    Browse the repository at this point in the history

  2. Rollup merge of rust-lang#70843 - ssomers:btree_drain_filter_epilogue… 

    …, r=Amanieu

Remove the Ord bound that was plaguing drain_filter

Now that  rust-lang#70795 made it superfluous. Also removes superfluous lifetime specifiers (at least I think they are).
    @Dylan-DPC
    Dylan-DPC authored Apr 7, 2020
    Configuration menu
    Copy the full SHA
    e655b96 View commit details
    Browse the repository at this point in the history

  3. Rollup merge of rust-lang#70847 - pietroalbini:ci-move-docker-lib, r=… 

    …Mark-Simulacrum

ci: move /var/lib/docker to /mnt on GHA

There are some builders that are running out of disk space while building the Docker images, such as arm-android. This moves and symlinks `/var/lib/docker` to the `/mnt` partition on Linux GHA.

Example of a build failing because of this: https://github.com/rust-lang-ci/rust/runs/564628621
    @Dylan-DPC
    Dylan-DPC authored Apr 7, 2020
    Configuration menu
    Copy the full SHA
    5ec504b View commit details
    Browse the repository at this point in the history

  4. Rollup merge of rust-lang#70850 - ssomers:btreemap_first_last, r=Amanieu 

    BTreeMap first last proposal tweaks

Clean-up and following up on a request in rust-lang#62924.

Trying the reviewer of the original code rust-lang#65637...
r? @scottmcm
    @Dylan-DPC
    Dylan-DPC authored Apr 7, 2020
    Configuration menu
    Copy the full SHA
    4320487 View commit details
    Browse the repository at this point in the history

  5. Rollup merge of rust-lang#70883 - GuillaumeGomez:cleanup-e0507, r=Dyl… 

    …an-DPC

Clean up E0507 explanation

r? @Dylan-DPC
    @Dylan-DPC
    Dylan-DPC authored Apr 7, 2020
    Configuration menu
    Copy the full SHA
    7c2cef0 View commit details
    Browse the repository at this point in the history