platforms: temporarily remove imx8mm from CI

Should be put back in after 25 Jan 2024 at the latest. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jan 12, 2024 · a869afa · a869afa
1 parent f781856
commit a869afa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -126,6 +126,7 @@ platforms:
     platform: imx8mm-evk
     req: [imx8mm]
     march: armv8a
+    disabled: true # temporarily disabled for CI for benchmarking
 
   TQMA8XQP1GB:
     arch: arm