working?

cedar-policy · Apr 25, 2024 · 6ff79fe · 6ff79fe
1 parent aab45b8
commit 6ff79fe
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
@@ -1,5 +1,4 @@
-# Simple workflow for deploying static content to GitHub Pages
-name: Deploy static content to Pages
+name: Deploy Lean Documentation to Pages
 
 on:
   # Runs on pushes targeting the default branch
@@ -44,7 +43,7 @@ jobs:
       - name: Move documentation to `docs/docs`
         run: |
               mkdir docs
-              cp -r .lake/build/doc docs/docs
+              cp -r cedar-lean/.lake/build/doc docs/docs
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with: