Try to deploy

Author: multiplemonomials

.github/workflows/build-and-deploy.yml

@@ -19,4 +19,16 @@ jobs:
     - name: Build Site
       run: |
         source .venv/bin/activate
-        mkdocs build
+        mkdocs build
+
+    # Copy the built files to the server (only if this is on master branch)
+    - name: Deploy Site
+      if: github.ref == 'refs/heads/master'
+      uses: easingthemes/ssh-deploy@v5
+      with:
+        SSH_PRIVATE_KEY: ${{ secrets.SSH_PRIVATE_KEY }}
+        ARGS: "-rlgoDzvc -i --delete"
+        SOURCE: "site/"
+        REMOTE_HOST: mbed-ce.dev
+        REMOTE_USER: website-deploy
+        TARGET: /var/www/html