From 697fbe4ea510c407fc58881435694adcf6b3eedd Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Sun, 10 Dec 2023 11:49:39 +0100 Subject: [PATCH] github: add NUM_DOMAINS test matrix This will now test with the following num_domains settings: - PRs: default as in config file, no matrix - push to master: with NUM_DOMAINS = 1 and 16 - weekly test: with NUM_DOMAINS = 1, 7, and 16 16 is the default in the current config files. 1 leads to structural code changes is the setting most likely to break. 7 is for checking that the proofs also work with a value that is not a power of 2. Signed-off-by: Gerwin Klein --- .github/workflows/proof-deploy.yml | 2 ++ .github/workflows/weekly-clean.yml | 2 ++ 2 files changed, 4 insertions(+) diff --git a/.github/workflows/proof-deploy.yml b/.github/workflows/proof-deploy.yml index bf2006f651c..3550902774d 100644 --- a/.github/workflows/proof-deploy.yml +++ b/.github/workflows/proof-deploy.yml @@ -37,6 +37,7 @@ jobs: fail-fast: false matrix: arch: [ARM, ARM_HYP, AARCH64, RISCV64, X64] + num_domains: ['1', '16'] # test only most recent push: concurrency: l4v-regression-${{ github.ref }}-${{ strategy.job-index }} steps: @@ -45,6 +46,7 @@ jobs: with: L4V_ARCH: ${{ matrix.arch }} xml: ${{ needs.code.outputs.xml }} + NUM_DOMAINS: ${{ matrix.num_domains }} env: AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }} AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }} diff --git a/.github/workflows/weekly-clean.yml b/.github/workflows/weekly-clean.yml index 4bc06134cee..572c7762215 100644 --- a/.github/workflows/weekly-clean.yml +++ b/.github/workflows/weekly-clean.yml @@ -18,11 +18,13 @@ jobs: fail-fast: false matrix: arch: [ARM, ARM_HYP, AARCH64, RISCV64, X64] + num_domains: ['1', '7', '16'] steps: - name: Proofs uses: seL4/ci-actions/aws-proofs@master with: L4V_ARCH: ${{ matrix.arch }} + NUM_DOMAINS: ${{ matrix.num_domains }} cache_read: '' # start with empty cache, but write cache back (default) env: AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}