Skip to content

Free up disk space (again)#2704

Merged
tautschnig merged 9 commits into
model-checking:mainfrom
tautschnig:disk-space
Aug 23, 2023
Merged

Free up disk space (again)#2704
tautschnig merged 9 commits into
model-checking:mainfrom
tautschnig:disk-space

Conversation

@tautschnig

@tautschnig tautschnig commented Aug 23, 2023

Copy link
Copy Markdown
Member

Description of changes:

Actually free up space as when #2674 tried to remove the wrong directories, which went unnoticed for the use of rm -rf. Also makes it work with the container image, which really is the main reason we wanted this: use bind mounts to remove files from the host file system. The df output now confirms that we are actually freeing up space.

Resolved issues:

n/a

Related RFC:

n/a

Call-outs:

n/a

Testing:

  • How is this change tested? CI

  • Is this a refactor change? no

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • n/a Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

This is to first debug why we aren't actually gaining any space.
@tautschnig tautschnig self-assigned this Aug 23, 2023
@tautschnig tautschnig mentioned this pull request Aug 23, 2023
4 tasks
@tautschnig tautschnig marked this pull request as ready for review August 23, 2023 08:05
@tautschnig tautschnig requested a review from a team as a code owner August 23, 2023 08:05
@tautschnig tautschnig merged commit 888847b into model-checking:main Aug 23, 2023
@tautschnig tautschnig deleted the disk-space branch August 23, 2023 14:54
@celinval celinval mentioned this pull request Aug 23, 2023
4 tasks
celinval added a commit that referenced this pull request Aug 23, 2023
Benchcomp CI is now broken due to #2704. The clean up we are performing is a best effort at this point, but it shouldn't fail the regression if it doesn't work.
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.

2 participants