chore: Display worker info

coq-community · Mar 9, 2020 · 4de67a9 · 4de67a9
1 parent c0b4fa6
commit 4de67a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -3,7 +3,7 @@ LABEL maintainer="[email protected]"
 
 ENV OPAM_VERSION="2.0.6"
 
-RUN apt-get update -y -q \
+RUN cat /proc/cpuinfo /proc/meminfo; apt-get update -y -q \
   && DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends \
     autoconf \
     automake \