Setup CI for mkdocs and remove Jekyll's

.github/workflows/documentation.yml

@@ -0,0 +1,30 @@
+name: ci 
+on:
+  push:
+    branches:
+      - master 
+permissions:
+  contents: write
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Configure Git Credentials
+        run: |
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
+      - uses: actions/setup-python@v5
+        with:
+          python-version: 3.x
+      - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV 
+      - uses: actions/cache@v4
+        with:
+          key: mkdocs-material-${{ env.cache_id }}
+          path: .cache
+          restore-keys: |
+            mkdocs-material-
+      - run: |
+        pip install mkdocs-material 
+        cd docs
+        mkdocs gh-deploy --force # Always keep in sync with master branch

.github/workflows/pr-check.yml

@@ -123,18 +123,3 @@ jobs:
 
       - name: Run linters
         run: tox -e lint
-
-  documentation:
-    name: documentation
-    runs-on: ubuntu-latest
-    container:
-      image: jekyll/jekyll
-
-    steps:
-      - uses: actions/checkout@v3
-
-      - name: Test documentation
-        run: |
-          chmod -R a+rwX .
-          jekyll build -s docs -d _site --baseurl .
-          script/custom_htmlproofer.rb