build: bump dsptap for its cmake floor fix #53
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: Docs | |
| # Build the mdBook ("Hearing in Three Dimensions", book/) and the Doxygen | |
| # API site and publish both to GitHub Pages on every push to main — the book | |
| # at the site root and the API reference under /api/. On pull requests, build | |
| # only (no deploy) so breakage in either is caught in review without touching | |
| # the live site. | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| # Allow one concurrent deployment; a newer push supersedes an in-flight one. | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| env: | |
| MDBOOK_URL: https://github.com/rust-lang/mdBook/releases/download/v0.4.40/mdbook-v0.4.40-x86_64-unknown-linux-gnu.tar.gz | |
| MDBOOK_SHA256: "9ef07fd288ba58ff3b99d1c94e6d414d431c9a61fdb20348e5beb74b823d546b" | |
| jobs: | |
| build: | |
| name: build docs | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 15 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install Doxygen + Graphviz | |
| run: sudo apt-get update && sudo apt-get install -y doxygen graphviz | |
| - name: Install mdBook (pinned) | |
| run: | | |
| curl -sSL "$MDBOOK_URL" -o mdbook.tar.gz | |
| echo "$MDBOOK_SHA256 mdbook.tar.gz" | sha256sum -c - | |
| tar -xzf mdbook.tar.gz mdbook | |
| ./mdbook --version | |
| - name: Build the book | |
| run: ./mdbook build book | |
| - name: Build the API site | |
| run: doxygen docs/Doxyfile | |
| - name: Compose the Pages site (book at /, API at /api/) | |
| run: | | |
| mkdir -p site | |
| cp -r book/book/. site/ | |
| mkdir -p site/api | |
| cp -r docs/html/. site/api/ | |
| - name: Upload Pages artifact | |
| if: github.ref == 'refs/heads/main' | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: site | |
| deploy: | |
| name: deploy to Pages | |
| if: github.ref == 'refs/heads/main' | |
| needs: build | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 10 | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| # Creates/enables the Pages site (Source: GitHub Actions) if the repo | |
| # doesn't have one yet — deploy-pages 404s otherwise. | |
| - name: Enable Pages | |
| uses: actions/configure-pages@v5 | |
| with: | |
| enablement: true | |
| - name: Deploy | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |