mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-11-24 06:53:33 +03:00
[travis] Allow nightly build to fail
This commit is contained in:
parent
a652628fb8
commit
fe9e40747b
@ -12,6 +12,7 @@ cache:
|
|||||||
|
|
||||||
# Goal: support latest 3 GHC major versions.
|
# Goal: support latest 3 GHC major versions.
|
||||||
matrix:
|
matrix:
|
||||||
|
fast_finish: true
|
||||||
include:
|
include:
|
||||||
- env: RESOLVER="lts-6" # GHC 7.10
|
- env: RESOLVER="lts-6" # GHC 7.10
|
||||||
addons: {apt: {packages: [libgmp-dev]}}
|
addons: {apt: {packages: [libgmp-dev]}}
|
||||||
@ -21,6 +22,8 @@ matrix:
|
|||||||
# addons: {apt: {packages: [libgmp-dev]}}
|
# addons: {apt: {packages: [libgmp-dev]}}
|
||||||
- env: RESOLVER="nightly"
|
- env: RESOLVER="nightly"
|
||||||
addons: {apt: {packages: [libgmp-dev]}}
|
addons: {apt: {packages: [libgmp-dev]}}
|
||||||
|
allow_failures:
|
||||||
|
- env: RESOLVER="nightly"
|
||||||
|
|
||||||
# Download and unpack the stack executable
|
# Download and unpack the stack executable
|
||||||
before_install:
|
before_install:
|
||||||
|
Loading…
Reference in New Issue
Block a user