Commit c34c50c1 authored by René Fritze's avatar René Fritze Committed by René Fritze

[ci] use larger hypothesis profile for PR builds

reduce example cout in other PR builds too
parent 1fd1db22
This diff is collapsed.
......@@ -176,7 +176,16 @@ minimal_cpp_demo:
{%- endif %}
alias: pypi_mirror
image: pymor/testing_py{{py}}:{{ci_image_tag}}
script: ./.ci/gitlab/test_{{script}}.bash
script:
- |
if [[ "$CI_COMMIT_REF_NAME" == *"github/"* ]]; then
echo selecting hypothesis profile \"ci_pr\" for branch $CI_COMMIT_REF_NAME
export PYMOR_HYPOTHESIS_PROFILE="ci_pr"
else
echo selecting hypothesis profile \"ci\" for branch $CI_COMMIT_REF_NAME
export PYMOR_HYPOTHESIS_PROFILE="ci"
fi
- ./.ci/gitlab/test_{{script}}.bash
{%- endfor %}
{%- for py in pythons %}
......
......@@ -10,8 +10,9 @@ from hypothesis import settings, Verbosity, HealthCheck
_common_settings = {"print_blob": True, "suppress_health_check": (HealthCheck.too_slow, HealthCheck.data_too_large,),
"deadline": 1000, "verbosity": Verbosity.verbose}
settings.register_profile("ci_large", max_examples=5000, **_common_settings)
settings.register_profile("ci", max_examples=100, **_common_settings)
settings.register_profile("ci_large", max_examples=1000, **_common_settings)
settings.register_profile("ci_pr", max_examples=100, **_common_settings)
settings.register_profile("ci", max_examples=25, **_common_settings)
settings.register_profile("dev", max_examples=10, **_common_settings)
settings.register_profile("debug", max_examples=10, **_common_settings)
settings.load_profile(os.getenv(u'PYMOR_HYPOTHESIS_PROFILE', 'dev'))
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment