From 5d11050015197e66449f69bd96287d1b6915db56 Mon Sep 17 00:00:00 2001 From: Aditya Garg Date: Tue, 8 Nov 2022 09:02:42 +0530 Subject: [PATCH] Update build_in_docker.sh --- build_in_docker.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build_in_docker.sh b/build_in_docker.sh index b603421..0308516 100755 --- a/build_in_docker.sh +++ b/build_in_docker.sh @@ -2,7 +2,7 @@ set -eu -o pipefail -DOCKER_IMAGE=ubuntu:20.04 +DOCKER_IMAGE=ubuntu:22.10 docker pull ${DOCKER_IMAGE} docker run \