061017b242
For preprocess checks on pull requests, check against the base_ref of the pull request (e.g. master) instead of against the seL4 revision in the verification manifest. If base_ref has advanced over the verification manifest revision, we do not want to see that difference again on pull requests, but only the difference the pull request causes itself. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
36 lines
824 B
YAML
36 lines
824 B
YAML
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
|
#
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
# Actions to run on pull requests
|
|
|
|
name: PR
|
|
|
|
on: [pull_request, workflow_dispatch]
|
|
|
|
jobs:
|
|
pr-checks:
|
|
name: Checks
|
|
uses: seL4/ci-actions/.github/workflows/pr.yml@master
|
|
|
|
preprocess:
|
|
name: Preprocess
|
|
runs-on: ubuntu-latest
|
|
strategy:
|
|
fail-fast: false
|
|
matrix:
|
|
arch: [ARM, ARM_HYP, AARCH64, RISCV64, X64]
|
|
feature: ["", MCS]
|
|
exclude:
|
|
- arch: ARM_HYP
|
|
feature: MCS
|
|
- arch: AARCH64
|
|
feature: MCS
|
|
- arch: X64
|
|
feature: MCS
|
|
steps:
|
|
- uses: seL4/ci-actions/preprocess@master
|
|
with:
|
|
L4V_ARCH: ${{ matrix.arch }}
|
|
L4V_FEATURES: ${{ matrix.feature }}
|
|
BASE_REF: ${{ github.base_ref }}
|