Update scripts/ci/Dockerfile.bundle-test-ubuntu-18-04

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
celinval · Oct 27, 2023 · b8380d0 · b8380d0
1 parent de0c21d
commit b8380d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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