230916.010930.HKT revise yml comments

libprima · Sep 15, 2023 · f38178a · f38178a
1 parent fc15fd8
commit f38178a
Show file tree

Hide file tree

Showing 8 changed files with 16 additions and 16 deletions.
diff --git a/.github/workflows/lint_hosted.yml b/.github/workflows/lint_hosted.yml
@@ -32,8 +32,8 @@ jobs:
 
     steps:
 
-      - name: Run `sudo apt update`. Otherwise, free-disk-space or other actions relying on `apt` may fail
-        run: sudo apt update
+      - name: Run `sudo apt update`
+        run: sudo apt update  # Otherwise, free-disk-space or other actions relying on `apt` may fail
 
       - name: Free disk space
         uses: jlumbroso/free-disk-space@main

diff --git a/.github/workflows/profile_all.yml b/.github/workflows/profile_all.yml
@@ -58,8 +58,8 @@ 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: Run `sudo apt update`
+        run: sudo apt update  # Otherwise, free-disk-space or other actions relying on `apt` may fail
 
       - name: Free disk space
         uses: jlumbroso/free-disk-space@main

diff --git a/.github/workflows/profile_compiler_options.yml b/.github/workflows/profile_compiler_options.yml
@@ -48,8 +48,8 @@ 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: Run `sudo apt update`
+        run: sudo apt update  # Otherwise, free-disk-space or other actions relying on `apt` may fail
 
       - name: Free disk space
         uses: jlumbroso/free-disk-space@main

diff --git a/.github/workflows/profile_quadruple.yml b/.github/workflows/profile_quadruple.yml
@@ -35,8 +35,8 @@ 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: Run `sudo apt update`
+        run: sudo apt update  # Otherwise, free-disk-space or other actions relying on `apt` may fail
 
       - name: Free disk space
         uses: jlumbroso/free-disk-space@main

diff --git a/.github/workflows/profile_rescue_idz_classical.yml b/.github/workflows/profile_rescue_idz_classical.yml
@@ -36,8 +36,8 @@ 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: Run `sudo apt update`
+        run: sudo apt update  # Otherwise, free-disk-space or other actions relying on `apt` may fail
 
       - name: Free disk space
         uses: jlumbroso/free-disk-space@main

diff --git a/.github/workflows/profile_rescue_idz_modernized.yml b/.github/workflows/profile_rescue_idz_modernized.yml
@@ -36,8 +36,8 @@ 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: Run `sudo apt update`
+        run: sudo apt update  # Otherwise, free-disk-space or other actions relying on `apt` may fail
 
       - name: Free disk space
         uses: jlumbroso/free-disk-space@main

diff --git a/.github/workflows/profile_single.yml b/.github/workflows/profile_single.yml
@@ -36,8 +36,8 @@ 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: Run `sudo apt update`
+        run: sudo apt update  # Otherwise, free-disk-space or other actions relying on `apt` may fail
 
       - name: Free disk space
         uses: jlumbroso/free-disk-space@main

diff --git a/.github/workflows/verify_archiva.yml b/.github/workflows/verify_archiva.yml
@@ -43,8 +43,8 @@ jobs:
 
     steps:
 
-      - name: Run `sudo apt update`. Otherwise, free-disk-space or other actions relying on `apt` may fail
-        run: sudo apt update
+      - name: Run `sudo apt update`
+        run: sudo apt update  # Otherwise, free-disk-space or other actions relying on `apt` may fail
 
       - name: Free disk space
         uses: jlumbroso/free-disk-space@main