github: cache Isabelle images
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
parent
963a3cca75
commit
9f6b6c243e
|
@ -21,7 +21,14 @@ jobs:
|
||||||
matrix:
|
matrix:
|
||||||
arch: [ARM]
|
arch: [ARM]
|
||||||
steps:
|
steps:
|
||||||
- uses: seL4/ci-actions/run-proofs@master
|
- name: Cache Isabelle Images
|
||||||
|
uses: actions/cache@v2
|
||||||
|
with:
|
||||||
|
path: cache/
|
||||||
|
key: ${{ runner.os }}-${{ matrix.arch }}-images-${{ github.sha }}
|
||||||
|
restore-keys: ${{ runner.os }}-${{ matrix.arch }}-images
|
||||||
|
- name: Run Proofs
|
||||||
|
uses: seL4/ci-actions/run-proofs@master
|
||||||
with:
|
with:
|
||||||
L4V_ARCH: ${{ matrix.arch }}
|
L4V_ARCH: ${{ matrix.arch }}
|
||||||
session: ExecSpec
|
session: ExecSpec
|
||||||
|
|
Loading…
Reference in New Issue