kalmar/GroupRings.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-12-28 18:50:29 +01:00
Code Issues Releases Wiki Activity

add Groups in build script

Browse Source
This commit is contained in:
kalmarek 2018-10-01 09:59:43 +02:00
parent 2510654162
commit 490765652d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.travis.yml
View File

@ -4,7 +4,6 @@ os:
- linux
- osx
julia:
- 0.6
- 0.7
- 1.0
- nightly
@ -15,6 +14,9 @@ matrix:
allow_failures:
- julia: nightly
script:
- julia -e 'using Pkg; pkg"add https://github.com/kalmarek/Groups.jl#enh/julia-v0.7"; Pkg.build(); Pkg.test(coverage=true);'
after_success:
# push coverage results to Coveralls
- julia -e 'import Pkg; Pkg.add("Coverage"); using Coverage; Codecov.submit(process_folder())'