Merge pull request #72 from zama-ai/chore/add-commitlint

ci: add commitlint
zama-ai · Feb 2, 2024 · 202c40e · 202c40e
2 parents ce9f228 + 09cafda
commit 202c40e
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/.github/config/commitlint.config.js b/.github/config/commitlint.config.js
@@ -0,0 +1 @@
+module.exports = { extends: ["@commitlint/config-conventional"] };
diff --git a/.github/workflows/commitlint.yml b/.github/workflows/commitlint.yml
@@ -0,0 +1,21 @@
+name: Run commitlint on PR
+
+on:
+  pull_request:
+
+jobs:
+  commitlint:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+      - name: Setup Node
+        uses: actions/setup-node@v2
+        with:
+          node-version: 18.x
+      - name: Install commitlint
+        run: |
+          npm install @commitlint/{cli,config-conventional}
+      - name: Validate all commits from PR
+        run: npx commitlint --config .github/config/commitlint.config.js --from ${{ github.event.pull_request.base.sha }} --to ${{ github.event.pull_request.head.sha }} --verbose