Add on-demand docs generation and deploy

bratpiorka · bratpiorka · commit c6925ed06896 · 2026-07-14T17:40:35.000Z
diff --git a/.github/workflows/basic.yml b/.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,48 @@ 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: Add documentation landing page
+      if: github.event_name == 'workflow_dispatch' && inputs.generate_documentation
+      run: |
+        cat > target/doc/index.html <<'HTML'
+        <!doctype html>
+        <html lang="en">
+          <head>
+            <meta charset="utf-8">
+            <meta http-equiv="refresh" content="0; url=oneapi_rs/">
+            <title>oneapi-rs documentation</title>
+          </head>
+          <body>
+            <p><a href="oneapi_rs/">oneapi-rs documentation</a></p>
+          </body>
+        </html>
+        HTML
+
+    - 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
