build(deps-dev): bump mypy from 2.3.0 to 2.3.1 in /tools/secure_boot_hil #28
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 and repository hygiene | |
| on: | |
| push: | |
| pull_request: | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: docs-${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| documentation: | |
| runs-on: ubuntu-24.04 | |
| timeout-minutes: 15 | |
| steps: | |
| - name: Check out repository | |
| uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 | |
| - name: Set up Python | |
| uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 | |
| with: | |
| python-version: "3.12" | |
| - name: Install documentation tools | |
| run: python -m pip install -r requirements-security.txt | |
| - name: Check Markdown links and workflow YAML | |
| run: | | |
| python tools/check_documentation.py | |
| python tools/check_workflows.py | |
| git diff --check | |
| - name: Scan tracked publication surface | |
| run: python tools/publication_scan.py --tracked --output /tmp/publication-scan.json |