Add a config file for vermin

pull/388/merge
Ivan Habunek 2023-11-18 22:20:06 +01:00
rodzic 4cd83daf4b
commit 9808784645
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: F5F0623FF5EBCB3D
3 zmienionych plików z 6 dodań i 2 usunięć

Wyświetl plik

@ -24,7 +24,7 @@ jobs:
pytest
- name: Validate minimum required version
run: |
vermin --target=3.7 --no-tips .
vermin toot
- name: Check style
run: |
flake8

4
.vermin 100644
Wyświetl plik

@ -0,0 +1,4 @@
[vermin]
only_show_violations = yes
show_tips = no
targets = 3.7

Wyświetl plik

@ -10,7 +10,7 @@ publish :
test:
pytest -v
flake8
vermin --target=3.7 --no-tips --violations --exclude-regex venv/.* .
vermin toot
coverage:
coverage erase