github: enable deployment test for all platforms (#144)

These boards are now available and should be working. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 8, 2024 · f0fb22b · f0fb22b
1 parent 1d092ed
commit f0fb22b
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/camkes-deploy.yml b/.github/workflows/camkes-deploy.yml
@@ -39,13 +39,13 @@ jobs:
     strategy:
       matrix:
         platform:
-            # - ODROID_XU
+            - ODROID_XU
             - ODROID_XU4
             - PC99
-            # - TX1
+            - TX1
             - TX2
             - IMX8MM_EVK
-            # - IMX8MQ_EVK
+            - IMX8MQ_EVK
     steps:
     - uses: seL4/ci-actions/camkes-test@master
       with:
@@ -79,13 +79,13 @@ jobs:
     strategy:
       matrix:
         platform:
-            # - ODROID_XU
+            - ODROID_XU
             - ODROID_XU4
             - PC99
-            # - TX1
+            - TX1
             - TX2
             - IMX8MM_EVK
-            # - IMX8MQ_EVK
+            - IMX8MQ_EVK
     # do not run concurrently with other workflows, but do run concurrently in the build matrix
     concurrency: camkes-hw-${{ strategy.job-index }}
     steps: