search

Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.
33 stars 25 forks source link

Configure Travis CI #111

Open ceilican opened 8 years ago

ceilican commented 8 years ago

Travis CI is currently failing because it is not properly configured.

The following resources might be helpful:

https://github.com/travis-ci/travis-ci/issues/5227

www.onegeek.com.au/scala/setting-up-travis-ci-for-scala