From 454f52c3298e83f02fa7ce71662d5b7ed1e10f76 Mon Sep 17 00:00:00 2001 From: Spencer Ferris <3319370+spencewenski@users.noreply.github.com> Date: Mon, 21 Oct 2024 17:48:11 -0700 Subject: [PATCH] ci: Increase feature powerset group size I think that increasing the powerset group size might somewhat counterintuitively speed up the overall runtime of the workflow. --- .github/workflows/feature_powerset.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/feature_powerset.yml b/.github/workflows/feature_powerset.yml index e478d47..7ff1ce9 100644 --- a/.github/workflows/feature_powerset.yml +++ b/.github/workflows/feature_powerset.yml @@ -70,7 +70,7 @@ jobs: id: build_data run: | cd private/powerset_matrix - echo "data=$(cargo run -- -s 40 -f json -c 50 ${{ steps.random_seed.outputs.seed }})" >> "$GITHUB_OUTPUT" + echo "data=$(cargo run -- -s 60 -f json -c 50 ${{ steps.random_seed.outputs.seed }})" >> "$GITHUB_OUTPUT" powerset_test: name: Powerset Tests