github: set SKIP_DUPLICATED_PROOFS for PR tests

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 26, 2024 · 58d69ec · 58d69ec
1 parent eb24151
commit 58d69ec
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml
@@ -40,6 +40,7 @@ jobs:
       with:
         L4V_ARCH: ${{ matrix.arch }}
         NUM_DOMAINS: ${{ inputs.NUM_DOMAINS }}
+        skip_dups: true
         session: '-x AutoCorresSEL4' # exclude large AutoCorresSEL4 session for PRs
         token: ${{ secrets.READ_TOKEN }}
         cache_bucket: ${{ secrets.CACHE_BUCKET }}