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

[docs] add PYMOR_HYPOTHESIS_PROFILE to environment

parent 05db4f51
......@@ -23,3 +23,8 @@ PYMOR_DEFAULTS
If empty or ``NONE``, do not load any :mod:`~pymor.core.defaults`
from file. Otherwise, a ``:``-separated list of the paths to a
Python scripts containing defaults.
PYMOR_HYPOTHESIS_PROFILE
Controls which profile the hypothesis pytest plugin uses to execute our
test suites. Defaults to the "dev" profile which runs fewer variations than
the "ci" or "ci_pr" which get used in our Gitlab-CI.
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