Removed CI jobs for docs build and deploy

Author: pedrominatel

.github/workflows/docs.yml

@@ -15,59 +15,6 @@ on:
 
 jobs:
 
-  build-docs:
-    name: Build Docs
-    runs-on: ubuntu-latest
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - uses: actions/checkout@v2
-      with:
-        submodules: true
-    - uses: actions/setup-python@v2
-      with:
-        python-version: '3.x'
-    - name: Build
-      run: |
-        sudo apt update
-        sudo apt install python3-pip python3-setuptools
-        # GitHub CI installs pip3 and setuptools outside the path.
-        # Update the path to include them and run.
-        PATH=/home/runner/.local/bin:$PATH pip3 install --user -r ./docs/requirements.txt
-        cd ./docs && PATH=/home/runner/.local/bin:$PATH build-docs -l en
-
-  deploy-docs:
-    name: Deploy Docs
-    runs-on: ubuntu-latest
-    defaults:
-      run:
-        shell: bash
-    steps:
-    - uses: actions/checkout@v2
-      with:
-        submodules: true
-    - uses: actions/setup-python@v2
-      with:
-        python-version: '3.x'
-    - name: Deploy Production
-      env:
-        DOCS_BUILD_DIR: "./docs/_build/"
-        DOCS_DEPLOY_PRIVATEKEY: ${{ secrets.DOCS_DEPLOY_KEY }}
-        DOCS_DEPLOY_SERVER: ${{ secrets.DOCS_PROD_SERVER }}
-        DOCS_DEPLOY_SERVER_USER: ${{ secrets.DOCS_PROD_SERVER_USER }}
-        DOCS_DEPLOY_PATH: ${{ secrets.DOCS_PATH }}
-        DOCS_DEPLOY_URL_BASE: ${{ secrets.DOCS_URL }}
-      run: |
-        sudo apt update
-        sudo apt install python3-pip python3-setuptools
-        PATH=/home/runner/.local/bin:$PATH pip3 install --user -r ./docs/requirements.txt
-        PATH=/home/runner/.local/bin:$PATH source ./docs/utils.sh
-        PATH=/home/runner/.local/bin:$PATH add_doc_server_ssh_keys $DOCS_DEPLOY_PRIVATEKEY $DOCS_DEPLOY_SERVER $DOCS_DEPLOY_SERVER_USER
-        PATH=/home/runner/.local/bin:$PATH export GIT_VER=$(git describe --always)
-        cd ./docs && PATH=/home/runner/.local/bin:$PATH build-docs -l en
-        PATH=/home/runner/.local/bin:$PATH deploy-docs
-
   deploy-preview-docs:
     name: Deploy Preview Docs
     runs-on: ubuntu-latest
@@ -92,9 +39,9 @@ jobs:
       run: |
         sudo apt update
         sudo apt install python3-pip python3-setuptools
-        PATH=/home/runner/.local/bin:$PATH pip3 install --user -r ./docs/requirements.txt
         PATH=/home/runner/.local/bin:$PATH source ./docs/utils.sh
         PATH=/home/runner/.local/bin:$PATH add_doc_server_ssh_keys $DOCS_DEPLOY_PRIVATEKEY $DOCS_DEPLOY_SERVER $DOCS_DEPLOY_SERVER_USER
         PATH=/home/runner/.local/bin:$PATH export GIT_VER=$(git describe --always)
+        PATH=/home/runner/.local/bin:$PATH pip3 install --user -r ./docs/requirements.txt
         cd ./docs && PATH=/home/runner/.local/bin:$PATH build-docs -l en
         PATH=/home/runner/.local/bin:$PATH deploy-docs