From 4de67a94392439f00dad24b387b4cde708e0a162 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Mon, 9 Mar 2020 23:52:04 +0100
Subject: [PATCH] chore: Display worker info

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

diff --git a/Dockerfile b/Dockerfile
index e0accd1..ba0549f 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -3,7 +3,7 @@ LABEL maintainer="erik@martin-dorel.org"
 
 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 \