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