check-codegen.yml

name: Check Python codegen

on:
  push:
    branches:
      - main
  pull_request:
    types: [opened, reopened, synchronize]

permissions:
  contents: read

jobs:
  check-python-codegen:
    name: Check Python codegen
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
    - name: Set up Python
      uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97  # v7.0.0
      with:
        python-version: "3.x"

    - name: Set up uv
      uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7  # v10.2.0

    - name: Install dependencies
      run: |
        uv venv
        source .venv/bin/activate
        uv lock --check
        uv sync --locked --extra dev_codegen
    - name: Run codegen
      run: |
        source .venv/bin/activate
        python commands.py codegen
    - name: Check for changes
      run: |
        # Fail if codegen produced any changes to the working directory.
        # This means the committed generated files are out of date and codegen
        # needs to be re-run locally and the results committed.
        if [ -n "$(git status --porcelain)" ]; then
          echo "::error::Generated files are out of date. Please run 'python commands.py codegen' locally and commit the result."
          echo "The following files differ after running codegen:"
          git status --porcelain
          echo ""
          exit 1
        fi
        echo "Generated files are up to date."