Skip to content

/ servo

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.

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

Clean target directories of linux builders. #20085

Merged
merged 1 commit into from Feb 20, 2018
Merged

Clean target directories of linux builders. #20085

merged 1 commit into from Feb 20, 2018
+6 −0

Commits on Feb 20, 2018

  1. Clean target directories of linux builders. 

    This should avoid our frequent problems with running out of disk space on the smallest linux build machines.
    @jdm
    jdm committed Feb 20, 2018
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    710baa4
You can’t perform that action at this time.