CI: free disk with in-tree script instead of GitHub Action

Co-authored-by: whiteio <chriswhiteiodev@gmail.com>
This commit is contained in:
MarcoIeni 2025-01-21 16:19:11 +01:00
parent ebbe63891f
commit 9b70b8bbbf
No known key found for this signature in database
2 changed files with 143 additions and 1 deletions

View file

@ -109,7 +109,7 @@ jobs:
# intensive jobs to run on free runners, which however also have
# less disk space.
- name: free up disk space
uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be
run: src/ci/scripts/free-disk-space.sh
if: matrix.free_disk
# Rust Log Analyzer can't currently detect the PR number of a GitHub