diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fd94051a37ef..828380894eee 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -320,6 +320,7 @@ pkg:opam:
   dependencies: [] # We don't need to download build artifacts
   before_script: [] # We don't want to use the shared 'before_script'
   script:
+    - cat /proc/{cpu,mem}info || true
     # Use current worktree as tmpdir to allow exporting artifacts in case of failure
     - export TMPDIR=$PWD
     # We build an expression rather than a direct URL to not be dependent on
diff --git a/default.nix b/default.nix
index 3cc0bfb11f42..1e2cb3625d39 100644
--- a/default.nix
+++ b/default.nix
@@ -82,6 +82,8 @@ stdenv.mkDerivation rec {
 
   prefixKey = "-prefix ";
 
+  enableParallelBuilding = true;
+
   buildFlags = [ "world" "byte" ] ++ optional buildDoc "doc-html";
 
   installTargets =
diff --git a/dev/ci/nix/coq.nix b/dev/ci/nix/coq.nix
index ecd280e58de6..b610790f61c5 100644
--- a/dev/ci/nix/coq.nix
+++ b/dev/ci/nix/coq.nix
@@ -5,5 +5,4 @@ let coq = callPackage wd { buildDoc = false; doInstallCheck = false; coq-version
 coq.overrideAttrs (o: {
   name = "coq-local-${branch}";
   src = fetchGit "${wd}";
-  enableParallelBuilding = true;
 })