Merge pull request #2461 from zed-industries/ci-target-dir-size

During CI, clear the target directory if it gets larger than a maximum size
This commit is contained in:
Max Brunsfeld 2023-05-11 09:57:36 -07:00 committed by GitHub
commit bebb5456c7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 26 additions and 0 deletions

View File

@ -62,6 +62,9 @@ jobs:
clean: false
submodules: 'recursive'
- name: Limit target directory size
run: script/clear-target-dir-if-larger-than 70
- name: Run check
run: cargo check --workspace
@ -110,6 +113,9 @@ jobs:
clean: false
submodules: 'recursive'
- name: Limit target directory size
run: script/clear-target-dir-if-larger-than 70
- name: Determine version and release channel
if: ${{ startsWith(github.ref, 'refs/tags/v') }}
run: |

View File

@ -0,0 +1,20 @@
#!/bin/bash
set -eu
if [[ $# < 1 ]]; then
echo "usage: $0 <MAX_SIZE_IN_GB>"
exit 1
fi
max_size_gb=$1
current_size=$(du -s target | cut -f1)
current_size_gb=$(expr ${current_size} / 1024 / 1024)
echo "target directory size: ${current_size_gb}gb. max size: ${max_size_gb}gb"
if [[ ${current_size_gb} -gt ${max_size_gb} ]]; then
echo "clearing target directory"
rm -rf target
fi