From f1deb12784a8d47e243c5cf9a2fecda058b142c7 Mon Sep 17 00:00:00 2001
From: Boris Faure <billiob@gmail.com>
Date: Sat, 18 Jun 2022 20:44:06 +0200
Subject: [PATCH] add github workflow with coccinelle

---
 .github/workflows/coccinelle.yaml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .github/workflows/coccinelle.yaml

diff --git a/.github/workflows/coccinelle.yaml b/.github/workflows/coccinelle.yaml
new file mode 100644
index 00000000..ab31b2f0
--- /dev/null
+++ b/.github/workflows/coccinelle.yaml
@@ -0,0 +1,19 @@
+name: coccinelle
+
+on: [push]
+
+jobs:
+  coccinelle:
+    runs-on: ubuntu-22.04
+    steps:
+    - name: install coccinelle
+      run: |
+        sudo apt update
+        sudo apt upgrade -y
+        sudo apt install -y coccinelle
+    - name: Checkout
+      uses: actions/checkout@v3
+      with:
+        token: ${{ secrets.GIT_ACCESS_TOKEN }}
+    - name: coccinelle check
+      run: scripts/coccinelle/coccicheck.sh