diff --git a/travis_docker_env.list b/travis_docker_env.list new file mode 100644 index 00000000..97bd597b --- /dev/null +++ b/travis_docker_env.list @@ -0,0 +1,9 @@ +# environment variables that are passed from Travis to Docker +DOCUMENTER_KEY +TRAVIS_BRANCH +TRAVIS_PULL_REQUEST +TRAVIS_REPO_SLUG +TRAVIS_TAG +TRAVIS_OS_NAME +TRAVIS_JULIA_VERSION +JULIA_PROJECT