From 061017b2424dc66357472c011ef26ca3f1537931 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 10 Apr 2026 20:08:17 +1000 Subject: [PATCH] github: provide base ref for preprocess check 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 --- .github/workflows/pr.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 0fe9697cc..cacf27d0e 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -33,3 +33,4 @@ jobs: with: L4V_ARCH: ${{ matrix.arch }} L4V_FEATURES: ${{ matrix.feature }} + BASE_REF: ${{ github.base_ref }}