Add NMI-safe watchdog lockup detection and task/backtrace dumping with debug-watchdog instrumentation. #151
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: Build & Deploy docs | |
| on: [push, pull_request] | |
| env: | |
| rust-toolchain: nightly-2025-12-12 | |
| jobs: | |
| doc: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: [ubuntu-latest, macos-latest] | |
| fail-fast: false | |
| permissions: | |
| contents: write | |
| env: | |
| default-branch: ${{ format('refs/heads/{0}', github.event.repository.default_branch) }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/rust-toolchain@stable | |
| with: | |
| toolchain: ${{ env.rust-toolchain }} | |
| - name: Build docs | |
| run: make doc_check_missing ARCH=${{ matrix.os == 'macos-latest' && 'aarch64' || 'x86_64' }} | |
| - name: Deploy to Github Pages | |
| if: ${{ github.ref == env.default-branch && matrix.os == 'ubuntu-latest' }} | |
| uses: JamesIves/github-pages-deploy-action@v4 | |
| with: | |
| single-commit: true | |
| branch: gh-pages | |
| folder: target/doc |