fix doric path

eruizalo · Feb 22, 2023 · 04fd36f · 04fd36f
1 parent 121629b
commit 04fd36f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/wc_build.yml b/.github/workflows/wc_build.yml
@@ -52,7 +52,7 @@ jobs:
         uses: actions/[email protected]
         with:
           name: "doric"
-          path: "doric"
+          path: "$GITHUB_WORKSPACE/doric" # Surprisingly, checkout downloads at $GITHUB_WORKSPACE/doric/doric
           if-no-files-found: error
 
   build: