1# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
2#
3# SPDX-License-Identifier: BSD-2-Clause
4
5# Actions to run on pull requests
6
7name: PR
8
9on: [pull_request]
10
11jobs:
12  gitlint:
13    name: Gitlint
14    runs-on: ubuntu-latest
15    steps:
16    - uses: seL4/ci-actions/gitlint@master
17
18  whitespace:
19    name: 'Trailing Whitespace'
20    runs-on: ubuntu-latest
21    steps:
22    - uses: seL4/ci-actions/git-diff-check@master
23
24  shell:
25    name: 'Portable Shell'
26    runs-on: ubuntu-latest
27    steps:
28    - uses: seL4/ci-actions/bashisms@master
29
30  style:
31    name: Style
32    runs-on: ubuntu-latest
33    steps:
34    - uses: seL4/ci-actions/style@master
35
36  preprocess:
37    name: Preprocess
38    runs-on: ubuntu-latest
39    strategy:
40      fail-fast: false
41      matrix:
42        arch: [ARM, ARM_HYP, RISCV64, X64]
43        feature: ["", MCS]
44        exclude:
45          - arch: ARM_HYP
46            feature: MCS
47          - arch: X64
48            feature: MCS
49    steps:
50    - uses: seL4/ci-actions/preprocess@master
51      with:
52        L4V_ARCH: ${{ matrix.arch }}
53        L4V_FEATURES: ${{ matrix.feature }}
54