Merge branch 'master' into dev

Author: pavel-kirienko

.github/workflows/build.yml

@@ -40,3 +40,21 @@ jobs:
         name: workspace-${{github.job}}
         path: '*'
         retention-days: 3
+
+    - name: Upload GitHub Pages artifact
+      uses: actions/upload-pages-artifact@v3
+      with:
+        path: specification/
+  deploy:
+    environment:
+      name: github-pages
+    needs: build
+    runs-on: ubuntu-latest
+    permissions:
+      pages: write
+      id-token: write
+    steps:
+      - name: Deploy to GitHub Pages
+        uses: actions/deploy-pages@v4
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}

.gitignore

@@ -2,3 +2,4 @@
 *.cache
 .mypy_cache
 .DS_Store
+.idea