diff --git a/.github/workflows/nightly-testsuite.yml b/.github/workflows/nightly-testsuite.yml index 69e747172f8..d9071be9427 100644 --- a/.github/workflows/nightly-testsuite.yml +++ b/.github/workflows/nightly-testsuite.yml @@ -9,15 +9,26 @@ on: schedule: - cron: 0 0 * * * - workflow_dispatch: + workflow_dispatch: inputs: hedgehog-tests: description: Number of tests to run (--hedgehog-tests XXXXX) required: false default: "100000" -env: + 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