Delete some stuff to free up disk space (#856)

This commit is contained in:
cybermaggedon 2026-04-28 22:46:02 +01:00 committed by GitHub
parent 9fc1d4527b
commit d0850ff381
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -75,6 +75,13 @@ jobs:
- name: Checkout
uses: actions/checkout@v4
- name: "Free up some disk space"
run: |
sudo rm -rf /usr/share/dotnet /usr/local/lib/android /opt/ghc
sudo rm -rf /opt/hostedtoolcache/CodeQL
podman image prune --all --force
podman builder prune -a -f
- name: Docker Hub token
run: echo ${{ secrets.DOCKER_SECRET }} > docker-token.txt