.travis.yml

sudo: required
dist: xenial
language: python
virtualenv:

python:
- '3.6'
- '3.7'
- '3.8'

before_install:
- sudo apt-get install -y agda-mode agda-stdlib links firefox

install:
- pip install -r requirements.txt

before_script:
- export CODECOV_TOKEN="8569eb0e-1db5-42dd-adeb-046fd6247600"
- agda --version

script:
- pip install .
- make test
- pytest --cov
#- coverage xml src/tests/test_basic.py
#- coverage html src/tests/test_basic.py

after_script: 
#- cd ~

# Push the results back to codecov
after_success:
  - codecov  
  # attempt to update mybinder
  #- wget https://github.com/browsh-org/browsh/releases/download/v1.6.4/browsh_1.6.4_linux_amd64
  #- mv browsh_1.6.4_linux_amd64 browsh && chmod a+x browsh
  #- ./browsh --startup-url https://mybinder.org/v2/gh/lclem/agda-kernel/master --time-limit 600
  - firefox --screenshot https://mybinder.org/v2/gh/lclem/agda-kernel/master

deploy:
  provider: pypi
  skip_existing: true
  user: "lorenzo"
  password:
    secure: "Xm+2Za4jKUgZZM2wBNC6ufLHrwP+kypf4xirskZsTKJ9fKk2t8NV7k0H5J8pj5ytrCkKwO50GueBXKRp7nxqhU/4fWwjOlGKvi7g924XffG9DzN3wcml0X8GibtrP1ynU5ZTKcHGcgCGREfCsBe3snzuYkBePkVnmR+JNYo8l7SppBKUKZeVjT/YaMKv6P9P2uYTi/qjNqzL+KmJdXIBOboVXffZI4QjOo8kYauYLf6Dv477DuVtJWF6m2dw92MAxQvC/Cwm9hl1iOuj5w6yYWU4gGiwBFkmPjv3AxfZiQHUSHBX1v8bnYDTDxp4dFnbo3TqYoim4+A9QyYKLT0RUNz0+mrjcP2+XyiTKMU7m3WGxGHgRmcfEGXxAuoFXK8ikf45n6YCSeF3e+eSp3467LvqZOkrzPwsAKpt5IeU6cutv0dBzlMTQ97Bw5Kv06iOr/XscPYHQhm2dRhUgh+LbocfyoBWBSUC2nVerNolO76AFaTBzg2SA2D2eAAox05eTegdGIC9ySt0pyaKJnrJc7Hc8dGnlddpJnP96nFfKK3HEqXWHouH4U1H9VrewUetnxlw4EWTm70DMaeanTwAYmrrl0Wc6jjUFNn6MiLM9GVN47zT9ojVUTkDpxJI+xPd7Or38zewNLb+Bqdn5L5kWj+EEobcNgk5rfJTof5qM8E="

notifications:
  email: false