Add on-demand docs generation and deploy

Author: bratpiorka

.github/workflows/basic.yml

@@ -7,9 +7,22 @@ on:
   pull_request:
     branches: [ "main" ]
 
+  workflow_dispatch:
+    inputs:
+      generate_documentation:
+        description: Generate documentation
+        required: false
+        type: boolean
+        default: false
+
 env:
   CARGO_TERM_COLOR: always
 
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -46,3 +59,31 @@ jobs:
 
     - name: Run tests
       run: cargo test --verbose
+
+    - name: Generate documentation (on demand)
+      if: github.event_name == 'workflow_dispatch' && inputs.generate_documentation
+      run: cargo doc --workspace --no-deps --verbose
+
+    - name: Configure GitHub Pages
+      if: github.event_name == 'workflow_dispatch' && inputs.generate_documentation
+      uses: actions/configure-pages@v5
+
+    - name: Upload documentation to GitHub Pages
+      if: github.event_name == 'workflow_dispatch' && inputs.generate_documentation
+      uses: actions/upload-pages-artifact@v3
+      with:
+        path: target/doc
+
+  deploy-documentation:
+    if: github.event_name == 'workflow_dispatch' && inputs.generate_documentation
+    needs: build
+    runs-on: ubuntu-latest
+
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    steps:
+    - name: Deploy documentation to GitHub Pages
+      id: deployment
+      uses: actions/deploy-pages@v4