add github workflow with coccinelle

pull/4/head
Boris Faure 1 year ago
parent 13ffb1de64
commit f1deb12784
Signed by: borisfaure
GPG Key ID: EAA9CD729F522998
  1. 19
      .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
Loading…
Cancel
Save