Merge pull request #99 from mbarbin/init-dunolint

mbarbin · web-flow · commit f5326930d19a · 2025-09-10T21:56:24.000+02:00
Initiate dunolint workflow
diff --git a/.github/workflows/dunolint.yml b/.github/workflows/dunolint.yml
@@ -0,0 +1,27 @@
+name: Dunolint Workflows
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - "**" # This will match pull requests targeting any branch
+
+permissions:
+  contents: read
+
+jobs:
+  dunolint-workflows:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v5
+
+      - name: Install dunolint
+        uses: mbarbin/dunolint-actions/setup-dunolint@v1.0.0-alpha.2
+        with:
+          dunolint-version: 0.0.20250910-1
+
+      - name: Lint Check
+        uses: mbarbin/dunolint-actions/lint-check@v1.0.0-alpha.2
diff --git a/dunolint b/dunolint
@@ -0,0 +1,31 @@
+(lang dunolint 1.0)
+
+;; Build & vcs
+(skip_paths
+  _build/**
+  _coverage/**
+  _opam/**
+  .git/**)
+
+;; Docusaurus build & Co.
+(skip_paths
+  doc/.docusaurus/**
+  doc/build/**
+  doc/node_modules/**)
+
+;; Everything is instrumented
+(rule
+ (enforce (dune (instrumentation (backend bisect_ppx)))))
+
+;; We use linters via pps
+(rule
+ (enforce
+  (dune
+   (library
+    (lint
+     (pps
+      (and
+       (pp ppx_js_style)
+       (flag (name -allow-let-operators) (param none) (applies_to (pp ppx_js_style)))
+       (flag (name -check-doc-comments)  (param none) (applies_to (pp ppx_js_style)))
+       )))))))
