From 178765f2f6c8759ef91cc80358c3fe796b665203 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 13 Oct 2024 12:42:28 -0700 Subject: [PATCH] Longer timeout for depext It seems to require about 70 seconds, let's give it 5 minutes in case it gets even slower in the future. --- release.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release.Dockerfile b/release.Dockerfile index d4fc4fd2..285a51fb 100644 --- a/release.Dockerfile +++ b/release.Dockerfile @@ -16,7 +16,7 @@ RUN sudo chown -R opam:nogroup . RUN opam install . --destdir /src/opam-install # Store the dynamic dependencies of the server -RUN opam depext -ln coq-bot > /src/depexts-coq-bot +RUN OPAMSOLVERTIMEOUT=300 opam depext -ln coq-bot > /src/depexts-coq-bot FROM alpine:3.10 AS app