Skip to content

Merge branch 'Serious-senpai:main' into main #102

Merge branch 'Serious-senpai:main' into main

Merge branch 'Serious-senpai:main' into main #102

Workflow file for this run

name: Lint
on: [ push, pull_request ]
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
python:
name: Python lint
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v3
- name: Install dependencies
run: pip install -r dev-requirements.txt
- name: Check code format
run: autopep8 --exit-code --diff -aaar .
- name: Check typings
run: mypy .