try replacing workspace

ESCOMP · Nov 19, 2024 · 1a14a4e · 1a14a4e
1 parent 71ecad7
commit 1a14a4e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/derecho.yaml b/.github/workflows/derecho.yaml
@@ -18,6 +18,7 @@ jobs:
         rm $SCRATCH/cs.s*
         rm -fr $SCRATCH/SMS_Ld2*
         rm -fr $GITHUB_WORKSPACE
+	mkdir  $GITHUB_WORKSPACE
     - name: Checkout code
       uses: actions/checkout@v4
     - name: Run git-fleximod