Merge PR #165: Fix CircleCI build

anoma · Nov 10, 2019 · 6ea07b9 · 6ea07b9
1 parent c0ac3ca
commit 6ea07b9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -12,7 +12,7 @@ jobs:
             - juvix-cache-v2-{{ checksum "package.yaml" }}
       - run:
           name: Build dependencies
-          command: stack build -j4 --only-dependencies
+          command: stack build -j2 --only-dependencies +RTS -N2 -qg
           no_output_timeout: 1200
       - run:
           name: Build Juvix