Update sel4test-sim/builds.yml

Co-authored-by: Gerwin Klein <[email protected]>
Signed-off-by: Axel Heider <[email protected]>

sel4test-sim/builds.yml

@@ -65,7 +65,7 @@ build-filter:
 #      - arch: [x86, riscv]
 #        compiler: [gcc]
 #        mode: [32]
-#        has_simulation:
+#        has_simulation: true
 
 # This will select all 64-bit armv7a builds with gcc or clang and all 32-bit x86
 # and riscv builds on gcc with has_simulation set.