mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-11-19 06:30:29 +01:00
delete random characters at the end of file
This commit is contained in:
parent
ec9dc214fb
commit
184a934fa3
@ -18,4 +18,3 @@ after_success:
|
||||
- julia -e 'cd(Pkg.dir("Groups")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
|
||||
# push coverage results to Codecov
|
||||
- julia -e 'cd(Pkg.dir("Groups")); Pkg.add("Coverage"); using Coverage; Codecov.submit(Codecov.process_folder())'
|
||||
``
|
||||
|
Loading…
Reference in New Issue
Block a user