action.yml

# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause

name: 'Preprocess'
description: |
  Runs the preprocess check on pull requests for the seL4 repository.
  The prepocess check succeeds if the preprocessed C source did not
  change for any of the verified seL4 configurations.
author: Gerwin Klein <gerwin.klein@proofcraft.systems>

inputs:
  L4V_ARCH:
    description: 'Architecture to test. One of ARM, ARM_HYP, AARCH64, RISCV64, X64'
    required: true

  L4V_FEATURES:
    description: 'Additional features to include. Empty ("") or "MCS".'
    required: false

  L4V_PLAT:
    description: 'Platform variant to test (optional). Either a platform name or unset.'
    required: false

  action_name:
    description: 'internal -- do not use'
    required: false
    default: 'preprocess'

runs:
  using: 'docker'
  image: 'docker://sel4/preprocess:latest'