This is an automated email from the git hooks/post-receive script.
git pushed a commit to branch master
in repository terminology.
View the commit online.
commit f1deb12784a8d47e243c5cf9a2fecda058b142c7
Author: Boris Faure <[email protected]>
AuthorDate: Sat Jun 18 20:44:06 2022 +0200
add github workflow with coccinelle
---
.github/workflows/coccinelle.yaml | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
diff --git a/.github/workflows/coccinelle.yaml b/.github/workflows/coccinelle.yaml
new file mode 100644
index 0000000..ab31b2f
--- /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
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.
