Skip to content

Merge branch 'main' into mobi #40

Merge branch 'main' into mobi

Merge branch 'main' into mobi #40

Workflow file for this run

# This is a format job. Pre-commit has a first-party GitHub action, so we use
# that: https://github.com/pre-commit/action
name: Format
on: push # run always
jobs:
pre-commit:
name: Format
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/setup-python@v2
with:
python-version: "3.10"
- uses: pre-commit/[email protected]
with:
extra_args: --all-files --hook-stage manual