Closed pirapira closed 7 years ago
If we can provide a docker image to Circle CI, we don't need to install Lem, OCaml and Isabelle on every build.
If we can provide a docker image to Circle CI, we don't need to install Lem, OCaml and Isabelle on every build.