From 1a14a4e8a1cd639aa2d2622d553099c07d2991c2 Mon Sep 17 00:00:00 2001 From: Jim Edwards Date: Tue, 19 Nov 2024 16:43:40 -0700 Subject: [PATCH] try replacing workspace --- .github/workflows/derecho.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/derecho.yaml b/.github/workflows/derecho.yaml index d4bcc18b1..03f570f5d 100644 --- 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