Skip to content

Correctly put terminals into non-capturing groups when combining them #1498

Correctly put terminals into non-capturing groups when combining them

Correctly put terminals into non-capturing groups when combining them #1498

Workflow file for this run

name: Python type check
on: [push, pull_request]
jobs:
type:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Lint with mypy
run: pipx run tox -e type
pre-commit:
name: Format
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v3
- uses: pre-commit/[email protected]