pirapira/eth-isabelle

Try Wercker for continuous integration

Opened this issue · 0 comments

pirapira commented

If we can provide a docker image to Wercker, we don't need to install Lem, OCaml and Isabelle on every build.