ci: add commitlint GitHub action (#1933)

lints Pull Request commits with commitlint (cherry picked from commit 4c60fa2)
AntaresSimulatorTeam · Mar 5, 2024 · dbfc287 · dbfc287
1 parent 42550b4
commit dbfc287
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