camkes-vm: add 64-bit minimal test on x86

Signed-off-by: Chris Guikema <[email protected]>
seL4 · Nov 14, 2023 · 8b37d1e · 8b37d1e
1 parent 2bc0c7b
commit 8b37d1e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/camkes-vm/builds.yml b/camkes-vm/builds.yml
@@ -18,6 +18,9 @@ builds:
 - minimal:
     mode: 32
     req: haswell3
+- minimal_64:
+    mode: 64
+    req: haswell3
 - zmq_samples:
     mode: 64
     req: haswell3