2015-10-22 18:12:44 +02:00
|
|
|
language: julia
|
|
|
|
|
julia:
|
2018-08-19 01:44:10 +02:00
|
|
|
- 1.0
|
2015-10-22 18:12:44 +02:00
|
|
|
- nightly
|
2018-07-07 17:27:01 +02:00
|
|
|
matrix:
|
|
|
|
|
allow_failures:
|
|
|
|
|
- julia: nightly
|
2015-10-22 18:12:44 +02:00
|
|
|
after_success:
|
2019-10-27 15:37:12 +01:00
|
|
|
- julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
|
|
|
|
|
notifications:
|
2015-10-22 18:12:44 +02:00
|
|
|
email: false
|
|
|
|
|
on_success: never
|
|
|
|
|
on_failure: change
|
