Merge pull request #30 from Pressio/29-deploy-docs-on-pushes-to-develop

#29: Deploy docs on pushes to develop

.github/workflows/deploy-docs.yml

@@ -2,13 +2,13 @@ name: Deploy docs
 
 on:
   push:
-    branches: [ main ]
+    branches: [ develop ]
 
 jobs:
   build-and-deploy-docs:
     runs-on: ubuntu-latest
     env:
-      docs-directory: /home/runner/work/pressio/pressio-ops/docs
+      docs-directory: ./docs
       python-version: '3.10'
 
     steps:
@@ -20,7 +20,7 @@ jobs:
           architecture: 'x64'
       - name: Install Python dependencies
         run: |
-          pip3 install -r ./docs/build_requirements.txt
+          pip3 install -r ${{ env.docs-directory }}/build_requirements.txt
       - name: Build documentation
         working-directory: ${{ env.docs-directory }}
         run: |