From 273d582eb4137777581c75c6ab9a2e9eea7ed70e Mon Sep 17 00:00:00 2001
From: jrsa <jose.r.andrade@inesctec.pt>
Date: Fri, 23 Feb 2024 18:10:45 +0000
Subject: [PATCH] Github actions script.

---
 .github/workflows/publish_docs.yml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 .github/workflows/publish_docs.yml

diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
new file mode 100644
index 0000000..ee3326a
--- /dev/null
+++ b/.github/workflows/publish_docs.yml
@@ -0,0 +1,21 @@
+name: Deploy Sphinx documentation to Pages
+
+on:
+  push:
+    branches: [github] # branch to trigger deployment
+
+jobs:
+  pages:
+    runs-on: ubuntu-20.04
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    permissions:
+      pages: write
+      id-token: write
+    steps:
+    - id: deployment
+      uses: sphinx-notes/pages@v3
+      with:
+       documentation_path: './docs/source'
+       requirements_path: './requirements.txt'