Enabling travis ci. · 2353ac9fe0 - CoqDecks - Alocoq Git

Enabling travis ci.

This commit is contained in:

Gareth Latty

2016-06-17 02:05:20 +01:00

parent ff441c415f

commit 2353ac9fe0

1 changed files with 3 additions and 0 deletions

									
										.travis.yml
									
		+3
		
												View File
												
				@@ -0,0 +1,3 @@

				 language: scala

				 scala:

				   - 2.11.8