Skip to content

Merge branch 'main' into 07-17-requestoptions #579

Merge branch 'main' into 07-17-requestoptions

Merge branch 'main' into 07-17-requestoptions #579

Workflow file for this run

name: pre-commit
on:
push:
branches:
- '**'
pull_request:
branches:
- main
- release
jobs:
pre-commit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v3
- uses: pre-commit/[email protected]