diff options
| author | Jakub Beránek <jakub.beranek@vsb.cz> | 2024-10-11 11:13:57 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2024-10-13 21:58:24 +0200 |
| commit | 91c4d09aed5d8bb3878bc81b7c85bcc6d6f31c16 (patch) | |
| tree | 394dcb8531d47902a272c6442a3b749a26ede0e4 /.github | |
| parent | 71cc27058d93693799839ef16e1dc5a0db789296 (diff) | |
| download | rust-91c4d09aed5d8bb3878bc81b7c85bcc6d6f31c16.tar.gz rust-91c4d09aed5d8bb3878bc81b7c85bcc6d6f31c16.zip | |
Print how much disk space is left after CI build runs
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 005ccb34255..2fca71716c1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -206,6 +206,11 @@ jobs: - name: create github artifacts run: src/ci/scripts/create-doc-artifacts.sh + - name: print disk usage + run: | + echo "disk usage:" + df -h + - name: upload artifacts to github uses: actions/upload-artifact@v4 with: |