Skip to content
Started 12 mo ago
Took 26 sec on workerls211
Failed

#279 (Mar 30, 2023, 4:51:03 PM)

Changes

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

  1. tuned signature; (detail)
  2. more operations for profiling; (detail)
  3. provide rsync component, with uniform version + options on all platforms; (detail)
  4. tuned message; (detail)
  5. provide local component to remote directory; (detail)
  6. tuned output; (detail)
  7. more SSH operations; (detail)
  8. more operations; (detail)
  9. tuned comments; (detail)
  10. clarified directory names, following bash_process (see e59d7d6fe1bd); (detail)
  11. tuned README; (detail)
  12. clarified build options; (detail)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 26 sec build duration;
  • 2 min 27 sec total from scheduled to completion.
Revision: c6c4069a86f3e901d95e529d344b952de039e76c
Revision: f0dfd9de026b80a9890e48998e04ab8bd63ab89c
Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d
Repository: https://github.com/isabelle-prover/isabelle-context-build.git
  • refs/remotes/origin/master