Print how much disk space is left after CI build runs

This commit is contained in:
Jakub Beránek 2024-10-11 11:13:57 +02:00 committed by Jakub Beránek
parent 71cc27058d
commit 91c4d09aed
No known key found for this signature in database
GPG Key ID: 909CD0D26483516B

View File

@ -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: