Add yamllint and actionlint to the dev extra

No issue closed: dev tooling change requested by S01.
2026-10-13 16:24:31 +08:00
parent 0bbf4c22d4
commit fbf73fc6d7
6 changed files with 56 additions and 52 deletions
@@ -6,3 +6,6 @@ rules:
    max: 100
  truthy:
    check-keys: false
+  # Git on Windows checks files out with CRLF; the repository blob has LF.
+  new-lines:
+    type: platform