Update workflow syntax

2021-03-01 10:31:32 -08:00 · 2021-03-01 10:31:32 -08:00 · f7d66b7d2c
parent 7355fc91f8
commit f7d66b7d2c
1 changed files with 2 additions and 4 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -7,10 +7,8 @@ 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 = ${{ github.workspace }}"
+	 echo "GITHUB_WORKSPACE = $GITHUB_WORKSPACE"
         rm -rf "${{ github.workspace }}"
  scn4me_subm:
    needs: [coverage_cleanup]