VENV_PYTHON=$VENV_LOC/bin/python
echo "HYPOVENV=${VENV_LOC}" >> $GITHUB_ENV
echo "VENV_PYTHON=${VENV_PYTHON}" >> $GITHUB_ENV
- ./python -m venv $VENV_LOC && $VENV_PYTHON -m pip install -U hypothesis
+ ./python -m venv $VENV_LOC && $VENV_PYTHON -m pip install -r ${GITHUB_WORKSPACE}/Tools/requirements-hypothesis.txt
- name: 'Restore Hypothesis database'
id: cache-hypothesis-database
uses: actions/cache@v3
hypothesis.settings.register_profile(
"slow-is-ok",
deadline=None,
- suppress_health_check=[hypothesis.HealthCheck.too_slow],
+ suppress_health_check=[
+ hypothesis.HealthCheck.too_slow,
+ hypothesis.HealthCheck.differing_executors,
+ ],
)
hypothesis.settings.load_profile("slow-is-ok")
--- /dev/null
+# Requirements file for hypothesis that
+# we use to run our property-based tests in CI.
+
+hypothesis==6.84.0