From decdaaef28a8a45ec807b1cf596d5e72d4dfb8c0 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Wed, 27 Sep 2023 11:31:48 +1000 Subject: [PATCH] [DROP] testing only: force ts-2023 isa branch Signed-off-by: Gerwin Klein --- .github/workflows/proof.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml index 329394868b..db21ff70ac 100644 --- a/.github/workflows/proof.yml +++ b/.github/workflows/proof.yml @@ -11,6 +11,7 @@ on: - '**.txt' branches: - rt + - isabelle-2023 # this action needs access to secrets. # The actual test runs in a no-privilege VM, so it's Ok to run on untrusted PRs. pull_request_target: @@ -19,6 +20,8 @@ on: - '**.txt' branches-ignore: - aarch64 + - isabelle-2023 + - master jobs: proofs: @@ -35,7 +38,8 @@ jobs: uses: seL4/ci-actions/aws-proofs@master with: L4V_ARCH: ${{ matrix.arch }} - session: '-x AutoCorresSEL4' # exclude large AutoCorresSEL4 session for PRs + isa_branch: ts-2023 + # session: '-x AutoCorresSEL4' # exclude large AutoCorresSEL4 session for PRs env: AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }} AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}