123456789101112131415161718192021222324252627282930313233343536373839 |
- name: check-generated-pyi
- concurrency:
- group: ${{ github.workflow }}-${{ github.event.pull_request.id }}
- cancel-in-progress: true
- on:
- push:
- branches: ["main"]
- # We don't just trigger on make_pyi.py and the components dir, because
- # there are other things that can change the generator output
- # e.g. black version, reflex.Component, reflex.Var.
- paths-ignore:
- - "**/*.md"
- pull_request:
- branches: ["main"]
- paths-ignore:
- - "**/*.md"
- jobs:
- check-generated-pyi-components:
- timeout-minutes: 30
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@v4
- - uses: ./.github/actions/setup_build_env
- with:
- python-version: "3.12.8"
- run-uv-sync: true
- - run: |
- uv run python scripts/make_pyi.py
- if [[ $(git status --porcelain) ]]; then
- git status
- git diff
- echo "ERROR: make_pyi.py output is out of date. Please run scripts/make_pyi.py and commit the changes."
- exit 1
- else
- echo "No diffs - AOK!"
- fi
|