Started 11 min ago
Build has been executing for 11 min on workermta1

Progress:
In progress Build #958 (Mar 22, 2019 11:13:58 PM)

Changes

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

  1. merged (detail / hgweb)
  2. clarified GHC and OCaml test setup; (detail / hgweb)
  3. updated to cygwin-20190322 -- package required by ocaml_setup for zarith; (detail / hgweb)
  4. workaround for the sake of Windows; (detail / hgweb)
  5. more robust -- analogous to ocamlfind; (detail / hgweb)
  6. even more robust and conservative OCaml setup; (detail / hgweb)

Started by an SCM change

This run spent 2 min 3 sec waiting in the queue.

Revision: 3544cca7920f3678fe2eaebda1a37521856cc24b
Revision: 50b208da7aadec5e50bccc3bed7cfb310f008edc