From a07af329ce1fab0c10780c4e07a2277b6af627a0 Mon Sep 17 00:00:00 2001
From: Matthias Pall Gissurarson <mpg@mpg.is>
Date: Mon, 12 Feb 2024 11:45:41 +0100
Subject: [PATCH] bump dockerfile, install check-helpers at same time as
 random, quickcheck

---
 Dockerfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 33e43bd..5961197 100644
--- 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