mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 22:17:18 +03:00
disable email notifications for travis
This commit is contained in:
parent
924de3f152
commit
8ad498ca57
@ -5,4 +5,6 @@ install:
|
||||
- cabal install Cabal
|
||||
- make
|
||||
script:
|
||||
- make test
|
||||
- make test
|
||||
notifications:
|
||||
email: false
|
Loading…
Reference in New Issue
Block a user