chore(deps): bump wasmtime from 36.0.6 to 36.0.7 #533
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: Deploy mdbook documentation | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| workflow_dispatch: | |
| jobs: | |
| changes: | |
| runs-on: ubuntu-22.04 | |
| timeout-minutes: 10 | |
| outputs: | |
| dirs: ${{ steps.filter.outputs.changes }} | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - uses: dorny/paths-filter@v3 | |
| id: filter | |
| with: | |
| filters: | | |
| docs: docs/** | |
| deploy: | |
| needs: [changes] | |
| if: ${{ !contains(needs.changes.outputs.dirs, '[]') }} | |
| runs-on: ubuntu-22.04 | |
| timeout-minutes: 10 | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - uses: actions-rust-lang/setup-rust-toolchain@v1 | |
| - name: install mermaid preprocessor | |
| run: cargo install mdbook --version 0.4.52 && cargo install mdbook-mermaid --version 0.16.0 | |
| - name: Build mdbook | |
| working-directory: ./docs | |
| run: mdbook build | |
| - name: Deploy | |
| uses: peaceiris/actions-gh-pages@v4 | |
| if: ${{ github.ref == 'refs/heads/main' }} | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./docs/book | |
| keep_files: true | |
| post_deploy_link_check: | |
| name: Verify links after deployment | |
| needs: [deploy] | |
| if: ${{ github.ref == 'refs/heads/main' }} | |
| permissions: | |
| contents: read | |
| issues: write | |
| timeout-minutes: 15 | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Wait for GitHub Pages to update | |
| run: sleep 120 | |
| - name: Check all links on runwasi.dev | |
| uses: lycheeverse/lychee-action@885c65f3dc543b57c898c8099f4e08c8afd178a2 # v2.6.1 | |
| with: | |
| fail: true # Fail CI if broken links found on the live site | |
| format: markdown | |
| jobSummary: true | |
| - name: Setup GitHub CLI | |
| if: ${{ failure() }} | |
| uses: cli/setup-gh@v1 | |
| - name: Create or update issue on link check failure | |
| if: ${{ failure() }} | |
| shell: bash | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| run: | | |
| TODAY=$(date +"%Y-%m-%d") | |
| EXISTING_ISSUE=$(gh issue list --repo ${{ github.repository }} --label broken-links --state open --json number --jq ".[0].number") | |
| ISSUE_BODY="# Broken Links Report ($TODAY) | |
| The post-deployment link check has detected broken links on the runwasi.dev website. | |
| Please see the [link checker workflow run](https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}) for details. | |
| > This issue was automatically generated from the link checker workflow." | |
| if [ -n "$EXISTING_ISSUE" ]; then | |
| gh issue comment $EXISTING_ISSUE --repo ${{ github.repository }} --body "New broken links were detected in the workflow run on $TODAY. Please check the latest workflow run for details: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}" | |
| else | |
| gh issue create --repo ${{ github.repository }} --title "Broken links detected on runwasi.dev" --body "$ISSUE_BODY" --label documentation --label broken-links | |
| fi |