mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-08-16 18:06:57 +02:00
try again
This commit is contained in:
parent
a2424918e6
commit
cfac73e5f0
@ -18,5 +18,6 @@ matrix:
|
|||||||
|
|
||||||
script:
|
script:
|
||||||
- julia -e 'using Pkg; Pkg.add(PackageSpec(url="https://github.com/kalmarek/Groups.jl")); Pkg.build(); Pkg.test(coverage=true);'
|
- julia -e 'using Pkg; Pkg.add(PackageSpec(url="https://github.com/kalmarek/Groups.jl")); Pkg.build(); Pkg.test(coverage=true);'
|
||||||
|
- julia --color=yes -e "if VERSION < v\"0.7.0-DEV.5183\"; cd(Pkg.dir(\"${JL_PKG}\")); else using Pkg; end; Pkg.add(\"Coverage\"); using Coverage; Codecov.submit(process_folder())"
|
||||||
|
|
||||||
codecov: true
|
codecov: true
|
||||||
|
Loading…
Reference in New Issue
Block a user