fix(qd_cascade): compute the missing quotient digit at every width (#… #1618
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Documentation | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| # Scope concurrency per ref, not globally. A single global "pages" group made | |
| # EVERY Documentation run (any branch/PR) cancel every other in-progress one -- | |
| # so a burst of PRs turned into cross-PR "failure" red X's (observed 2026-07-25). | |
| # Per-ref: a new commit on a PR cancels that PR's stale build (cancel-in-progress | |
| # on pull_request), while main deploys queue and are never interrupted mid-deploy. | |
| concurrency: | |
| group: pages-${{ github.ref }} | |
| cancel-in-progress: ${{ github.event_name == 'pull_request' }} | |
| env: | |
| # Force Node.js 24 for all JavaScript actions (eliminates Node.js 20 deprecation warnings | |
| # from transitive deps inside actions/upload-pages-artifact, etc.). Becomes default | |
| # 2026-06-02; this opt-in just brings the migration forward. Same pattern as cmake.yml. | |
| FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: true | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| defaults: | |
| run: | |
| working-directory: docs-site | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - uses: actions/setup-node@v6 | |
| with: | |
| node-version: 22 | |
| cache: npm | |
| cache-dependency-path: docs-site/package-lock.json | |
| - name: Install Doxygen | |
| run: sudo apt-get update && sudo apt-get install -y --no-install-recommends doxygen | |
| - name: Install dependencies | |
| run: npm ci | |
| - name: Generate C++ API reference (Doxygen) | |
| run: npm run api | |
| - name: Build site | |
| run: npm run build | |
| - name: Upload artifact | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/main' | |
| uses: actions/upload-pages-artifact@v4 | |
| with: | |
| path: docs-site/dist | |
| deploy: | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/main' | |
| needs: build | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v5 |