Removed eatmydata

This commit is contained in:
Anthony Scemama 2020-12-06 20:25:22 +01:00
parent bae22bd940
commit 4775d92012
1 changed files with 3 additions and 4 deletions

View File

@ -23,7 +23,6 @@ addons:
# - liblapack-dev
# - libblas-dev
- wget
- eatmydata
env:
- OPAMROOT=$HOME/.opam
@ -45,9 +44,9 @@ stages:
jobs:
include:
- stage: configuration
script: eatmydata travis/configuration.sh
script: travis/configuration.sh
- stage: compilation
script: eatmydata travis/compilation.sh
script: travis/compilation.sh
- stage: testing
script: eatmydata travis/testing.sh
script: travis/testing.sh