From b8380d0a87196bd894ea2d9cfb234ff70cdbcb13 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Thu, 26 Oct 2023 20:43:16 -0700 Subject: [PATCH] Update scripts/ci/Dockerfile.bundle-test-ubuntu-18-04 Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com> --- scripts/ci/Dockerfile.bundle-test-ubuntu-18-04 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/ci/Dockerfile.bundle-test-ubuntu-18-04 b/scripts/ci/Dockerfile.bundle-test-ubuntu-18-04 index 17cbb5ac20c0..a4cc79c80f07 100644 --- a/scripts/ci/Dockerfile.bundle-test-ubuntu-18-04 +++ b/scripts/ci/Dockerfile.bundle-test-ubuntu-18-04 @@ -4,7 +4,7 @@ # Note: this file is intended only for testing the kani release bundle # This docker assumes the following locations: # - ./kani_src/: Kani source code -# - ./kani-*tar.bz/: The Kani release bundle. E.g. `kani-0.39.0-x86_64-unknown-linux-gnu.tar.gz` +# - ./kani-*tar.gz/: The Kani release bundle. E.g. `kani-0.39.0-x86_64-unknown-linux-gnu.tar.gz` # - ./linux-kani-verifier.crate: The kani-verifier package FROM ubuntu:18.04