diff options
| author | jvoisin | 2025-09-01 14:35:25 +0200 |
|---|---|---|
| committer | jvoisin | 2025-09-01 14:35:25 +0200 |
| commit | 504efb24488c870a71afb434644fce972817b412 (patch) | |
| tree | ae66fde3233a5fc38abe8203f7a02702ff30c9f1 /CONTRIBUTING.md | |
| parent | f07344444d6d2f04a1f93e2954f4910b194bee0c (diff) | |
Remove mypy from the CI
It has always been useless a best, and a nuisance most of the times.
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions