From a23bc0d06fd5566679e9f889b72bb33bba58ee4f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Freitas?= <joaj.freitas@gmail.com>
Date: Mon, 22 Jul 2024 19:47:45 +0100
Subject: [PATCH] Deploy github pages with project docs

---
 .github/workflows/main.yml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 69498e3..a7b6e3f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -13,6 +13,12 @@ env:
 
 jobs:
   CI:
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4
@@ -25,3 +31,14 @@ jobs:
       run: cargo test -- --include-ignored --nocapture
     - name : Clippy
       run: cargo clippy --all-features
+    - name : Docs
+      run: cargo doc --no-deps
+    - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: target/doc/fpt
+    - name: Deploy to GitHub Pages
+      id: deployment
+      uses: actions/deploy-pages@v4
+
+