mirror of
https://github.com/seL4/seL4.git
synced 2026-03-27 10:29:57 +00:00
c6238208bb
This action runs the verification C parser on the main kernel configurations to check that the code is in the C verification subset. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
22 lines
408 B
YAML
22 lines
408 B
YAML
# Copyright 2021, Proofcraft Pty Ltd
|
|
#
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
# Run the verification C parser on the main kernel configurations
|
|
#
|
|
# See cparser-run/builds.yml in the repo seL4/ci-actions for configs.
|
|
|
|
name: C Parser
|
|
|
|
on:
|
|
push:
|
|
branches: [master]
|
|
pull_request:
|
|
|
|
jobs:
|
|
cparser:
|
|
name: C Parser
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: seL4/ci-actions/cparser-run@master
|