From aa2f8a90e46533de8a58f19cd0c417de856d4437 Mon Sep 17 00:00:00 2001 From: Matias Ezequiel Vara Larsen Date: Fri, 6 Jun 2025 10:11:02 +0200 Subject: [PATCH] chore: Update container version to g825a7ab Update container version to g825a7ab that includes kani. Signed-off-by: Matias Ezequiel Vara Larsen --- .buildkite/autogenerate_pipeline.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.buildkite/autogenerate_pipeline.py b/.buildkite/autogenerate_pipeline.py index 6b23b95..0246d7b 100755 --- a/.buildkite/autogenerate_pipeline.py +++ b/.buildkite/autogenerate_pipeline.py @@ -60,7 +60,7 @@ from textwrap import dedent # This represents the version of the rust-vmm-container used # for running the tests. -CONTAINER_VERSION = "g492a130" +CONTAINER_VERSION = "g825a7ab" # The suffix suggests that the dev image with `v{N}-riscv` tag is not to be # confused with real `riscv64` image (it's actually a `x86_64` image with # `qemu-system-riscv64` installed), since AWS yet has `riscv64` machines