mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #9371 from 0xc0170/test_travis_master
travis: set hypothesis to v3.88pull/9374/head
commit
41ecde9c30
|
@ -107,7 +107,7 @@ matrix:
|
|||
# Install dependencies
|
||||
- sudo apt-get install gcc-arm-embedded
|
||||
- pip install -r requirements.txt
|
||||
- pip install pytest pylint hypothesis mock coverage coveralls
|
||||
- pip install pytest pylint hypothesis==3.88.3 mock coverage coveralls
|
||||
# Print versions we use
|
||||
|
||||
- arm-none-eabi-gcc --version
|
||||
|
|
Loading…
Reference in New Issue