Update workflow syntax

2026-08-29 01:24:39 +02:00 · 2021-03-01 10:28:47 -08:00
parent 0556b931a9
commit 7355fc91f8
1 changed files with 4 additions and 4 deletions
@@ -7,10 +7,10 @@ jobs:
      - name: Coverage cleanup
        run: |
         echo "Cleaning up previous run"
-	 echo ${{ github.workspace }}
-	 ls ${{ github.workspace }}
-	 echo ${{ github.home }}
-	 ls ${{ github.home }}
+	 echo "${{ github.workspace }}"
+	 ls "${{ github.workspace }}"
+	 echo "${{ github.home }}"
+	 ls "${{ github.home }}"
         rm -rf "${{ github.workspace }}"
  scn4me_subm:
    needs: [coverage_cleanup]