From 221e411b682af1c4d16d20bd97f8b13f1a0e7b93 Mon Sep 17 00:00:00 2001 From: Jared Weakly Date: Wed, 27 May 2020 10:26:44 -0700 Subject: [PATCH] Serialize nightly windows builds --- .github/workflows/nightly.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 2fd65442..79a57934 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -38,7 +38,7 @@ jobs: ghc-version: "8.8" - shell: bash - run: cabal v2-build exe:cryptol exe:cryptol-html + run: cabal -j1 v2-build exe:cryptol exe:cryptol-html - shell: bash run: .github/ci.sh setup_dist_bins