Make Travis CI correctly ignore failures

This commit is contained in:
Pradyun Gedam 2020-05-28 20:43:15 +05:30
parent d49e957905
commit d480e40838
Non sono state trovate chiavi note per questa firma nel database
ID Chiave GPG: DA17C4B29CB32E4B
1 ha cambiato i file con 3 aggiunte e 1 eliminazioni

Vedi File

@ -47,7 +47,9 @@ jobs:
fast_finish: true
allow_failures:
- env: GROUP=3 NEW_RESOLVER=1
- env:
- GROUP=3
- NEW_RESOLVER=1
before_install: tools/travis/setup.sh
install: travis_retry tools/travis/install.sh