fix(build): Avoid parallelism when building Q*cert

Signed-off-by: Jerome Simeon <Jerome.Simeon@docusign.com>
accordproject · Mar 9, 2022 · cc59f78 · cc59f78
1 parent 661001a
commit cc59f78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -44,7 +44,7 @@ common_steps: &common_steps
     - run:
         name: "Install Q*cert"
         command: |
-          opam install -y -v coq-qcert.2.1.1
+          opam install --jobs=$NJOBS --yes --verbose coq-qcert.2.1.1
         no_output_timeout: 45m
     - save_cache:
         <<: *common_cache_key