apt-get upgrade

2023-05-05 14:49:12 +02:00
parent 8b1cbb25c3
commit 4277a8ad12
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -2,7 +2,7 @@ FROM ubuntu:18.04

 WORKDIR /

-RUN apt-get update && apt-get install -y git curl libatomic1
+RUN apt-get update && apt-get upgrade -y && apt-get install -y git curl libatomic1

 # Install elan
 RUN curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz \