diff --git a/.github/workflows/profile_compiler_options.yml b/.github/workflows/profile_compiler_options.yml index 60dcd58f6a..6ccbf83bdc 100644 --- a/.github/workflows/profile_compiler_options.yml +++ b/.github/workflows/profile_compiler_options.yml @@ -48,6 +48,9 @@ jobs: - name: Get the solver name run: echo "SOLNAME=$(echo ${{ matrix.solver }} | cut -c1-6)" >> $GITHUB_ENV + - name: Run `sudo apt update`. Otherwise, free-disk-space or other actions relying on `apt` may fail + run: sudo apt update + - name: Free disk space uses: jlumbroso/free-disk-space@main with: