From 719fd18cf94013c38498859a8756b391a84882c7 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Wed, 21 Aug 2024 11:28:19 +1000 Subject: [PATCH] ci: re-enabled disabled tests Signed-off-by: Ivan Velickovic --- ci/examples.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ci/examples.sh b/ci/examples.sh index 46ed5e43..6e2d750f 100755 --- a/ci/examples.sh +++ b/ci/examples.sh @@ -132,8 +132,8 @@ build_simple_zig "maaxboard" "release" build_rust "debug" simulate_rust "debug" -# build_rust "release" -# simulate_rust "release" +build_rust "release" +simulate_rust "release" # Here there are two kinds of configuration that we need to test. There is the # configuration of Microkit itself for which we test debug and release. This @@ -153,8 +153,8 @@ simulate_zig "release" "ReleaseSmall" build_virtio "qemu_virt_aarch64" "debug" build_virtio "qemu_virt_aarch64" "release" -# build_virtio "odroidc4" "debug" -# build_virtio "odroidc4" "release" +build_virtio "odroidc4" "debug" +build_virtio "odroidc4" "release" echo "" echo "CI|INFO: Passed all VMM tests"