Repository navigation
Print versions in the build report, not terminal escapes #422
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: Generate | |
| on: | |
| push: | |
| branches: [master] | |
| workflow_dispatch: | |
| permissions: | |
| contents: write | |
| concurrency: | |
| group: generate-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| generate: | |
| if: ${{ github.actor != 'github-actions[bot]' }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v7 | |
| with: | |
| submodules: recursive | |
| - name: Setup Python | |
| uses: actions/setup-python@v7 | |
| with: | |
| python-version: "3.13" | |
| - name: Install Rust toolchain | |
| run: rustup toolchain install --profile minimal stable | |
| - name: Generate files | |
| run: cargo run --locked --no-default-features --manifest-path tools/site/Cargo.toml -- generate | |
| - name: Commit generated files | |
| run: cargo run --locked --no-default-features --manifest-path tools/site/Cargo.toml -- commit generate |