From 088c29b5a6d763820b45c7262f9f5bb09f787663 Mon Sep 17 00:00:00 2001 From: knoal Date: Thu, 30 Apr 2026 20:34:08 -0700 Subject: [PATCH 1/2] ci(nightly): upscale QuickCheck tests in nightly test suite (closes #6322) Mirror the existing HEDGEHOG_TESTS upscaling for QuickCheck so nightly property runs also exercise QuickCheck-based generators with a larger sample count and size parameter. * Add QUICKCHECK_TESTS / QUICKCHECK_MAX_SIZE env vars (defaults 100000 / 500), plus matching workflow_dispatch inputs. * Pass --quickcheck-tests / --quickcheck-max-size to every test invocation that already passes --hedgehog-tests. These flags are recognised by tasty-quickcheck and only take effect in the nightly run. --- .github/workflows/nightly-testsuite.yml | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/.github/workflows/nightly-testsuite.yml b/.github/workflows/nightly-testsuite.yml index 69e747172f8..a0a79817255 100644 --- a/.github/workflows/nightly-testsuite.yml +++ b/.github/workflows/nightly-testsuite.yml @@ -16,8 +16,19 @@ on: required: false default: "100000" + quickcheck-tests: + description: 'Number of QuickCheck tests to run per property' + required: false + default: '100000' + quickcheck-max-size: + description: 'Max QuickCheck size parameter' + required: false + default: '500' + env: HEDGEHOG_TESTS: ${{ github.event.inputs.hedgehog-tests || 100000 }} + QUICKCHECK_TESTS: ${{ github.event.inputs.quickcheck-tests || 100000 }} + QUICKCHECK_MAX_SIZE: ${{ github.event.inputs.quickcheck-max-size || 500 }} jobs: run: @@ -32,11 +43,11 @@ jobs: - name: Run Plutus Core Test run: | pushd plutus-core - nix run --no-warn-dirty --accept-flake-config .#plutus-core-test -- --hedgehog-tests $HEDGEHOG_TESTS --no-create + nix run --no-warn-dirty --accept-flake-config .#plutus-core-test -- --hedgehog-tests $HEDGEHOG_TESTS --quickcheck-tests $QUICKCHECK_TESTS --quickcheck-max-size $QUICKCHECK_MAX_SIZE --no-create popd - name: Run Plutus IR Test run: | pushd plutus-core - nix run --no-warn-dirty --accept-flake-config .#plutus-ir-test -- --hedgehog-tests $HEDGEHOG_TESTS --no-create + nix run --no-warn-dirty --accept-flake-config .#plutus-ir-test -- --hedgehog-tests $HEDGEHOG_TESTS --quickcheck-tests $QUICKCHECK_TESTS --quickcheck-max-size $QUICKCHECK_MAX_SIZE --no-create popd From debc0be33149ce674a1d9d9861373cd604628435 Mon Sep 17 00:00:00 2001 From: Alex Date: Fri, 15 May 2026 20:06:41 -0700 Subject: [PATCH 2/2] style: normalize nightly workflow dispatch input quoting --- .github/workflows/nightly-testsuite.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/nightly-testsuite.yml b/.github/workflows/nightly-testsuite.yml index a0a79817255..d9071be9427 100644 --- a/.github/workflows/nightly-testsuite.yml +++ b/.github/workflows/nightly-testsuite.yml @@ -9,7 +9,7 @@ on: schedule: - cron: 0 0 * * * - workflow_dispatch: + workflow_dispatch: inputs: hedgehog-tests: description: Number of tests to run (--hedgehog-tests XXXXX) @@ -17,15 +17,15 @@ on: default: "100000" quickcheck-tests: - description: 'Number of QuickCheck tests to run per property' + description: Number of QuickCheck tests to run per property required: false - default: '100000' + default: "100000" quickcheck-max-size: - description: 'Max QuickCheck size parameter' + description: Max QuickCheck size parameter required: false - default: '500' + default: "500" -env: +env: HEDGEHOG_TESTS: ${{ github.event.inputs.hedgehog-tests || 100000 }} QUICKCHECK_TESTS: ${{ github.event.inputs.quickcheck-tests || 100000 }} QUICKCHECK_MAX_SIZE: ${{ github.event.inputs.quickcheck-max-size || 500 }}