Skip to content

Merge branch 'osc-10-query' #96

Merge branch 'osc-10-query'

Merge branch 'osc-10-query' #96

Workflow file for this run

name: coccinelle
on: [push]
jobs:
coccinelle:
runs-on: ubuntu-22.04
steps:
- name: install coccinelle
run: |
sudo apt update
sudo apt install -y coccinelle
- name: Checkout
uses: actions/checkout@v3
with:
token: ${{ github.token }}
- name: coccinelle check
run: scripts/coccinelle/coccicheck.sh