From 922c18a78a065643ff893e6fd995ff7897b668be Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 19 Jul 2024 09:43:47 +1000 Subject: [PATCH] github: remove rt branch test; switch to mcs-devel.xml - switch off the rt branch test -- to be added to the deployment workflow later. - switch the PR test to the mcs-devel.xml manifest which is taking the role of devel.xml has on the master branch. Signed-off-by: Gerwin Klein --- .github/workflows/proof.yml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml index 2684f6ba40..aee6ae2039 100644 --- a/.github/workflows/proof.yml +++ b/.github/workflows/proof.yml @@ -9,8 +9,6 @@ on: paths-ignore: - '**.md' - '**.txt' - branches: - - rt # 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: @@ -41,7 +39,7 @@ jobs: L4V_ARCH: ${{ matrix.arch }} NUM_DOMAINS: ${{ inputs.NUM_DOMAINS }} L4V_FEATURES: MCS - manifest: mcs.xml + manifest: mcs-devel.xml skip_dups: true session: '-x AutoCorresSEL4' # exclude large AutoCorresSEL4 session for PRs token: ${{ secrets.READ_TOKEN }}