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.

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

Reenable cleanup #5780

Merged
merged 2 commits into from
Dec 22, 2019
Merged

Reenable cleanup #5780

merged 2 commits into from
Dec 22, 2019

Conversation

koppor
Copy link
Member

@koppor koppor commented Dec 22, 2019

Follow-up to #5365.

We need to clean up the builds directly after the merge, because we run out of disk space. This is now enabled, because we switched from scp to rsync (refs #5778)

We already reviewed this script. I just opened a PR to check whether the "revert" worked and commits are "OK". Will merge as soon as I feel comfortable. 😇

@koppor koppor merged commit 54d193e into master Dec 22, 2019
@koppor koppor deleted the reenable-cleanup branch December 22, 2019 19:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant