various #16

Merged
dan merged 94 commits from various into dev 2023-12-14 14:04:01 +01:00
Showing only changes of commit b39802094b - Show all commits

View file

@ -1,24 +0,0 @@
repos:
# - repo: local
# hooks:
# - id: tests
# name: run all tests that are not marked slow
# entry: python -m pytest -m "not slow"
# language: system
# language_version: default
# always_run: true
# pass_filenames: false
- repo: https://github.com/pre-commit/mirrors-mypy
rev: '' # Use the sha / tag you want to point at
hooks:
- id: mypy
args: [--ignore-missing-imports]
- repo: https://github.com/astral-sh/ruff-pre-commit
rev: v0.1.7
hooks:
# Run the linter.
- id: ruff
# Run the formatter.
- id: ruff-format