chore(github): remove directories and tarballs after packing server and tools for github actions in case of running out of disk space #1486
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
#1485
Github actions
Build Release
andBuild with jemalloc
failed for the branchmigrate-metrics-dev
due to running out of disk space. Both failed jobs wouldpack servers and tools while another successful job
Build ASAN
would neverdo.
After packaging, generated directories and tarballs would consume 2.7GB disk
space. Therefore, we could drop the generated directories and tarballs to spare
more disk space after packaging, though this problem has not been found for
master branch.
This problem is also tracked by another PR: #1484