github: additional build platform QEMU

Signed-off-by: Axel Heider <axel.heider@gmx.de>
seL4 · Dec 18, 2023 · 75636f6 · 75636f6
1 parent 207f5cf
commit 75636f6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/sel4webserver-deploy.yml b/.github/workflows/sel4webserver-deploy.yml
@@ -39,7 +39,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        platform: [ODROID_XU4, ODROID_C2, TX2]
+        platform: [ARMVIRT, ODROID_XU4, ODROID_C2, TX2]
     steps:
     - uses: seL4/ci-actions/webserver@master
       with:
@@ -58,7 +58,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        platform: [ODROID_XU4, ODROID_C2, TX2]
+        platform: [ARMVIRT, ODROID_XU4, ODROID_C2, TX2]
     # do not run concurrently with other workflows, but do run concurrently in the build matrix
     concurrency: webserver-hw-${{ strategy.job-index }}
     steps:

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -16,7 +16,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        platform: [ODROID_XU4, ODROID_C2, TX2]
+        platform: [ARMVIRT, ODROID_XU4, ODROID_C2, TX2]
     steps:
     - uses: seL4/ci-actions/webserver@master
       with: