1234567891011121314151617181920212223242526272829303132 |
- name: pre-commit
- concurrency:
- group: ${{ github.workflow }}-${{ github.event.pull_request.id }}
- cancel-in-progress: true
- on:
- pull_request:
- branches: ["main"]
- push:
- # Note even though this job is called "pre-commit" and runs "pre-commit", this job will run
- # also POST-commit on main also! In case there are mishandled merge conflicts / bad auto-resolves
- # when merging into main branch.
- branches: ["main"]
- jobs:
- pre-commit:
- timeout-minutes: 30
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@v4
- - uses: ./.github/actions/setup_build_env
- with:
- # running vs. one version of Python is OK
- # i.e. ruff, black, etc.
- python-version: 3.12.8
- run-uv-sync: true
- # TODO pre-commit related stuff can be cached too (not a bottleneck yet)
- - run: uv run pre-commit run --all-files
- env:
- SKIP: update-pyi-files
|