Merge branch 'main' into copilot/extend-readthedocs-api-docs

Author: hechth

.github/workflows/actions.yml

@@ -24,6 +24,8 @@ jobs:
         run: ./specdatri collect-stats
       - name: generate reports
         run: ./specdatri generate-reports
+      - name: generate dashboard
+        run: ./specdatri generate-dashboard
       - name: commit files
         run: |
           git config --local user.email "action@github.com"

.github/workflows/pages.yml

@@ -0,0 +1,33 @@
+name: Deploy dashboard to GitHub Pages
+on:
+  push:
+    branches:
+      - main
+    paths:
+      - 'docs/**'
+  workflow_dispatch:
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+concurrency:
+  group: pages
+  cancel-in-progress: false
+jobs:
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-22.04
+    steps:
+      - name: checkout repo content
+        uses: actions/checkout@v4
+      - name: configure GitHub Pages
+        uses: actions/configure-pages@v5
+      - name: upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: docs
+      - name: deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4