Fix docs pipeline 📄 (#41)

* Fix checkout for existing branch

* Add docs build status to README

* Fix docs build

Co-authored-by: Ashwin Vaidya <[email protected]>

.github/workflows/docs.yml

@@ -5,6 +5,7 @@ on:
     branches: [development]
     paths-ignore:
       - ".github/**" # Ignore changes towards the .github directory
+  workflow_dispatch: # run on request (no need for PR)
 
 jobs:
   Build-and-Publish-Documentation:
@@ -47,10 +48,13 @@ jobs:
           fi
       - name: Push docs to gh-pages branch
         run: |
-          cd ..
           git fetch
           git checkout gh-pages
-          cp -r docs/build/html/* ./
+          mkdir -p /tmp/docs_build
+          cp -r docs/build/html/* /tmp/docs_build/
+          rm -rf ./*
+          cp -r /tmp/docs_build/* ./
+          rm -rf /tmp/docs_build
           git config --local user.email "[email protected]"
           git config --local user.name "GitHub Action"
           git add .

.github/workflows/tox.yml

@@ -4,6 +4,7 @@ on:
   push:
     branches: [development, master]
   pull_request:
+  workflow_dispatch: # run on request (no need for PR)
 
 jobs:
   Tox: