Skip to content

Merge branch “main” 1.2.13dev into production #360

Merge branch “main” 1.2.13dev into production

Merge branch “main” 1.2.13dev into production #360

Workflow file for this run

name: Run linters
on:
pull_request:
branches:
- production
- main
push:
branches:
- production
- main
jobs:
linter:
name: run pre-commit
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
- uses: pre-commit/[email protected]