1# Copyright 2021, Proofcraft Pty Ltd 2# 3# SPDX-License-Identifier: BSD-2-Clause 4 5# Run the verification C parser on the main kernel configurations 6# 7# See cparser-run/builds.yml in the repo seL4/ci-actions for configs. 8 9name: C Parser 10 11on: 12 push: 13 branches: [master] 14 pull_request: 15 16jobs: 17 cparser: 18 name: C Parser 19 runs-on: ubuntu-latest 20 steps: 21 - uses: seL4/ci-actions/cparser-run@master 22