File tree 3 files changed +9
-2
lines changed
3 files changed +9
-2
lines changed Original file line number Diff line number Diff line change @@ -474,7 +474,7 @@ jobs:
474
474
VENV_PYTHON=$VENV_LOC/bin/python
475
475
echo "HYPOVENV=${VENV_LOC}" >> $GITHUB_ENV
476
476
echo "VENV_PYTHON=${VENV_PYTHON}" >> $GITHUB_ENV
477
- ./python -m venv $VENV_LOC && $VENV_PYTHON -m pip install -U hypothesis
477
+ ./python -m venv $VENV_LOC && $VENV_PYTHON -m pip install -r ${GITHUB_WORKSPACE}/Tools/requirements- hypothesis.txt
478
478
- name : ' Restore Hypothesis database'
479
479
id : cache-hypothesis-database
480
480
uses : actions/cache@v3
Original file line number Diff line number Diff line change 10
10
hypothesis .settings .register_profile (
11
11
"slow-is-ok" ,
12
12
deadline = None ,
13
- suppress_health_check = [hypothesis .HealthCheck .too_slow ],
13
+ suppress_health_check = [
14
+ hypothesis .HealthCheck .too_slow ,
15
+ hypothesis .HealthCheck .differing_executors ,
16
+ ],
14
17
)
15
18
hypothesis .settings .load_profile ("slow-is-ok" )
16
19
Original file line number Diff line number Diff line change
1
+ # Requirements file for hypothesis that
2
+ # we use to run our property-based tests in CI.
3
+
4
+ hypothesis==6.84.0
You can’t perform that action at this time.
0 commit comments