Paul Heymann

I am also running into this issue, but I am not able to grasp why it is failing when looking into the piece of code throwing this exception: https://github.com/lucidsoftware/neo-sbt-scalafmt/blob/1.10/sbt-scalafmt/src/main/scala/com/lucidchart/sbt/scalafmt/ScalafmtSbtPlugin.scala#L16 Btw,...

Hi @bplommer , thanks for the contribution. I will take a look at your PR later this day.

Ha, failed my own PR test. Need to add Specdris to Travis :).

@jfdm but you also have to add a nix script to get it running which isn't necessary for a Docker build. And the speed wasn't my main concern, but with...

I would then switch to nix script and remove the Docker dependency.

When I find the time to resolve these merge conflicts 😄 . But I think I will get this ready by tomorrow.

I resolved merge conflicts with master and fixed `LazyTest` which produces in master: ``` nb-pheymann:lightyear paul.heymann$ make test idris --build lightyear.ipkg (cd tests; bash runtests.sh) TIMOUTCMD set to gtimeout compiling...

@ziman I added nix-script travis build and removed docker dependency. When you have some time left could you have a look?

Currently it doesn't support timeouts. I'll add it to specdris but this will take a moment. I let you know when I'm done.