diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index 733d2d1..1f5f125 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -1,2 +1,2 @@ FROM schemers/gauche -RUN apt update && apt install -y make wget +RUN apt update && apt install -y make wget guix