bump dockerfile, install check-helpers at same time as random, quickc…

…heck
Tritlo · Feb 12, 2024 · a07af32 · a07af32
1 parent 5ebda72
commit a07af32
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -47,8 +47,7 @@ RUN chmod +x /app/propr
 RUN cabal update
 COPY ./check-helpers /app/check-helpers
 WORKDIR /app/check-helpers
-RUN cabal install --lib check-helpers
-RUN cabal install --lib random QuickCheck
+RUN cabal install --lib check-helpers random QuickCheck
 
 ENV LOG_LEVEL=INFO
 ENV REPAIR_TARGET=/input