Skip to content

Instantly share code, notes, and snippets.

@pheymann

pheymann/.travis.yml

Created July 8, 2017 18:48
Show Gist options
  • Save pheymann/45bcea9beb1e4b2b007929a1e934cb5d to your computer and use it in GitHub Desktop.
Save pheymann/45bcea9beb1e4b2b007929a1e934cb5d to your computer and use it in GitHub Desktop.
Download ZIP
Run Idris tests in Travis
Raw
.travis.yml
language: generic
os: linux
sudo: required
services:
- docker
script:
- docker run -v $(pwd):/var/idris-project pheymann/idris-travis:1.0 <execute test script>
@pheymann
Copy link
Author

pheymann commented Jul 8, 2017

Dockerfile:

FROM dgellow/idris:v1.0

MAINTAINER pheymann (Paul Heymann)

WORKDIR /var/idris-project

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment