From 7c15773e173c5c6fc6ff7d87fcc040eca2eff409 Mon Sep 17 00:00:00 2001
From: mrg <mrg@ucsc.edu>
Date: Mon, 1 Mar 2021 10:51:09 -0800
Subject: [PATCH] Only remove temp dirs, erase coverage

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f213eafd..8e719306 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -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