pre-commit: introduce make lint

Also make the linters part of the github actions.
2024-12-20 18:36:31 +01:00 · 2024-12-20 18:36:31 +01:00 · c408577b2d
commit c408577b2d
parent 734c132500
11 changed files with 157 additions and 0 deletions
--- a/.yamllint
+++ b/.yamllint
@ -0,0 +1,10 @@
+---
+extends: default
+
+rules:
+  document-start: disable
+  line-length: disable
+
+ignore:
+  - test/data/error/09-duplicated-key.yaml
+  - test/data/error/10-duplicated-key-no-otk.yaml