Merge pull request #395 from mtzguido/ci

ci: standalone.Dockerfile: add missing dependencies
FStarLang · Nov 27, 2023 · 9562dde · 9562dde
2 parents a7be2a7 + 4e89c64
commit 9562dde
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.docker/standalone.Dockerfile b/.docker/standalone.Dockerfile
@@ -13,7 +13,9 @@ RUN apt-get update && \
       gawk \
       coreutils \
       sudo \
-      opam
+      opam \
+      python3 \
+      python3-distutils
 
 
 # Create a new user and give them sudo rights