From 240ed8daa4a4b040930ff6307f901b554666d23d Mon Sep 17 00:00:00 2001 From: Joshua Colvin Date: Wed, 27 Sep 2023 17:58:49 -0700 Subject: [PATCH] Make test-gen-proofs with single thread --- .github/workflows/arbitrator-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/arbitrator-ci.yml b/.github/workflows/arbitrator-ci.yml index f2b141fb46..b41ff3ac26 100644 --- a/.github/workflows/arbitrator-ci.yml +++ b/.github/workflows/arbitrator-ci.yml @@ -166,7 +166,7 @@ jobs: args: --all --manifest-path arbitrator/Cargo.toml -- --check - name: Make proofs from test cases - run: make -j test-gen-proofs + run: make test-gen-proofs - name: Create code-coverage files run: |