230915.191755.HKT try fixing free-disk-space

libprima · Sep 15, 2023 · 021dd27 · 021dd27
1 parent 7529eec
commit 021dd27
Show file tree

Hide file tree

Showing 6 changed files with 18 additions and 0 deletions.
diff --git a/.github/workflows/profile_all.yml b/.github/workflows/profile_all.yml
@@ -58,6 +58,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:

diff --git a/.github/workflows/profile_quadruple.yml b/.github/workflows/profile_quadruple.yml
@@ -35,6 +35,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:

diff --git a/.github/workflows/profile_rescue_idz_classical.yml b/.github/workflows/profile_rescue_idz_classical.yml
@@ -36,6 +36,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:

diff --git a/.github/workflows/profile_rescue_idz_modernized.yml b/.github/workflows/profile_rescue_idz_modernized.yml
@@ -36,6 +36,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:

diff --git a/.github/workflows/profile_single.yml b/.github/workflows/profile_single.yml
@@ -36,6 +36,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:

diff --git a/.github/workflows/verify_archiva.yml b/.github/workflows/verify_archiva.yml
@@ -43,6 +43,9 @@ jobs:
 
  steps:
 
+ - 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: