language: generic # don't install any environment

sudo: required
script: /bin/bash src/travis/deploy.sh
env:
  global:
  - ENCRYPTION_LABEL: "80dbef1467b0"
  - COMMIT_AUTHOR_EMAIL: "tkw01536@gmail.com"

language: generic # don't install any environment

sudo: required
script: /bin/bash src/travis/deploy.sh
env:
  global:
  - ENCRYPTION_LABEL: "80dbef1467b0"
  - COMMIT_AUTHOR_EMAIL: "45969094+kwarcbot@users.noreply.github.com"

Use KWARC Bot Commit Email
Use KWARC Bot Commit Email