pheymann/.travis.yml

Created July 8, 2017 18:48

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/pheymann/45bcea9beb1e4b2b007929a1e934cb5d.js"></script>
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>

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