Only remove temp dirs, erase coverage

2026-08-29 01:24:39 +02:00 · 2021-03-01 10:51:09 -08:00
parent 27c197026f
commit 7c15773e17
1 changed files with 1 additions and 1 deletions
@@ -10,7 +10,7 @@ jobs:
         echo "github.workspace = ${{ github.workspace }}"
         rm -rf "${{ github.workspace }}/scn4me_subm_temp"
         rm -rf "${{ github.workspace }}/freepdk45_temp"
-	 python3-coverage erase
+         python3-coverage erase
  checkout_code:
    needs: [coverage_cleanup]
    runs-on: self-hosted