github: add remaining MCS tests
This manually adds the HaskellKernel compile test, ASpecDoc, and tests-xml-correct sessions, which together with the existing tests make up the entire current MCS test suite apart from "Licenses" which is already covered by other github CI. This is a bit ad-hoc, ideally there should be a default "rest" session to capture tests that will be added in the future. This will need a bit of restructure in the CI action itself, though, so is postponed for now. Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
parent
64a597d574
commit
e26ffb8c14
|
@ -12,6 +12,20 @@ on:
|
||||||
pull_request:
|
pull_request:
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
|
haskell:
|
||||||
|
name: Haskell
|
||||||
|
runs-on: ubuntu-latest
|
||||||
|
strategy:
|
||||||
|
fail-fast: false
|
||||||
|
matrix:
|
||||||
|
arch: [ARM]
|
||||||
|
steps:
|
||||||
|
- name: compile Haskell
|
||||||
|
uses: seL4/ci-actions/run-proofs@master
|
||||||
|
with:
|
||||||
|
L4V_ARCH: ${{ matrix.arch }}
|
||||||
|
session: HaskellKernel tests-xml-correct
|
||||||
|
|
||||||
ainvs:
|
ainvs:
|
||||||
name: AInvs
|
name: AInvs
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
@ -30,7 +44,7 @@ jobs:
|
||||||
uses: seL4/ci-actions/run-proofs@master
|
uses: seL4/ci-actions/run-proofs@master
|
||||||
with:
|
with:
|
||||||
L4V_ARCH: ${{ matrix.arch }}
|
L4V_ARCH: ${{ matrix.arch }}
|
||||||
session: ExecSpec AInvs
|
session: ExecSpec ASpecDoc AInvs
|
||||||
|
|
||||||
refine:
|
refine:
|
||||||
name: Refine
|
name: Refine
|
||||||
|
|
Loading…
Reference in New Issue