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

github: proof test only for most recent push

Browse source 
By default GitHub spawns a new test for each push to a PR. Since the
proof tests have limited resources, we want only the most recent push
to be triggered, intermediate pushes will be skipped.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2022-01-11 10:39:06 +11:00 committed by Gerwin Klein
parent e44ef0efd1
commit e1b73a45eb
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/proof.yml vendored
View file

@ -30,6 +30,8 @@ jobs:
session: CRefine SimplExportAndRefine
- arch: X64
session: CRefine
# test only most recent push to PR:
concurrency: seL4-PR-C-proofs-${{ github.ref }}-${{ strategy.job-index }}
steps:
- name: Proofs
uses: seL4/ci-actions/aws-proofs@master