ci: add commitlint GitHub action (#1933)

lints Pull Request commits with commitlint
AntaresSimulatorTeam · Feb 13, 2024 · 4c60fa2 · 4c60fa2
1 parent 4509af4
commit 4c60fa2
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/commitlint.yml b/.github/workflows/commitlint.yml
@@ -0,0 +1,13 @@
+name: Lint Commit Messages
+on: [pull_request]
+
+permissions:
+  contents: read
+  pull-requests: read
+
+jobs:
+  commitlint:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: wagoid/commitlint-github-action@v5