2015-10-22 18:12:44 +02:00
|
|
|
language: julia
|
2019-12-11 20:54:28 +01:00
|
|
|
os:
|
|
|
|
- linux
|
2015-10-22 18:12:44 +02:00
|
|
|
julia:
|
2019-12-11 20:54:28 +01:00
|
|
|
- 1.0
|
2020-09-28 23:55:18 +02:00
|
|
|
- 1.5
|
2019-12-11 20:54:28 +01:00
|
|
|
- nightly
|
2018-07-07 17:27:01 +02:00
|
|
|
matrix:
|
|
|
|
allow_failures:
|
|
|
|
- julia: nightly
|
2019-12-11 20:54:28 +01:00
|
|
|
coveralls: true
|
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())'
|
2019-12-11 22:12:24 +01:00
|
|
|
notifications:
|
2015-10-22 18:12:44 +02:00
|
|
|
email: false
|
2019-12-11 20:54:28 +01:00
|
|
|
on_success: never
|
|
|
|
on_failure: change
|