Update generate-logos.yml

coq · Dec 15, 2024 · 222c2eb · 222c2eb
1 parent 1c70018
commit 222c2eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/generate-logos.yml b/.github/workflows/generate-logos.yml
@@ -20,4 +20,4 @@ jobs:
       - uses: actions/[email protected]
         with:
           name: rocq-logos
-          path: ${{ github.workspace }}/rocq-id/
+          path: rocq-id/