portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

github: provide base ref for preprocess check

Browse source 
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>
This commit is contained in:
Gerwin Klein 2026-04-10 20:08:17 +10:00
parent 727ccd140f
commit 061017b242
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/pr.yml vendored
View file

@ -33,3 +33,4 @@ jobs:
with: with:
L4V_ARCH: ${{ matrix.arch }} L4V_ARCH: ${{ matrix.arch }}
L4V_FEATURES: ${{ matrix.feature }} L4V_FEATURES: ${{ matrix.feature }}
BASE_REF: ${{ github.base_ref }}