mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-12-29 11:00:28 +01:00
update travis
This commit is contained in:
parent
82ca5abed3
commit
d6b02393a3
@ -6,6 +6,8 @@ os:
|
||||
julia:
|
||||
- 1.0
|
||||
- 1.1
|
||||
- 1.2
|
||||
- 1.3
|
||||
- nightly
|
||||
notifications:
|
||||
email: true
|
||||
|
Loading…
Reference in New Issue
Block a user