From ce44b92d7e1ec04a7ac398fc96901d6d783169e8 Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Wed, 9 Oct 2024 13:14:04 +1100 Subject: [PATCH] ci: add trailing whitespace check Same as libvmm and sDDF Signed-off-by: Ivan-Velickovic --- .github/workflows/pr.yaml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 .github/workflows/pr.yaml diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml new file mode 100644 index 00000000..bc97066f --- /dev/null +++ b/.github/workflows/pr.yaml @@ -0,0 +1,16 @@ +# Copyright 2024, UNSW +# +# SPDX-License-Identifier: BSD-2-Clause + +# Actions to *only* run on GitHub pull requests + +name: PR + +on: [pull_request] + +jobs: + whitespace: + name: 'Trailing Whitespace' + runs-on: ubuntu-latest + steps: + - uses: seL4/ci-actions/git-diff-check@master