Skip to content
Started 1 day 14 hr ago
Took 10 hr on workerlrz5
Success

#2504 (Mar 27, 2024, 1:33:14 AM)

Build Artifacts
Changes

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

  1. more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML); (detail)
  2. more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51); (detail)
  3. misc tuning for release; (detail)
  4. merged; (detail)
  5. NEWS for "isabelle go_setup"; (detail)
  6. proper platform_path for Windows; (detail)
  7. misc tuning, following go_setup; (detail)
  8. dynamic setup of Go component, similar to Dotnet; (detail)
  9. tuned comments; (detail)
  10. clarified signature: more operations; (detail)
  11. clarified signature: explicit type Platform.Info with derived operations; (detail)
  12. less ambitious parallelism: avoid exhaustion of memory (64GB total); (detail)
  13. provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup"; (detail)
  14. tuned; (detail)
  15. tuned messages; (detail)
  16. update to bash_process-20240326; (detail)
  17. build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload); (detail)
  18. clarified meaning of platform.props: update on default; (detail)
  19. allow raw input in HTML (e.g., for web applications); (detail)
  20. added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on (detail)
  21. merged (detail)
  22. added lemma wf_on_iff_wf (detail)
  23. changed number of consumed assumptions of wf_on_induct and wfp_on_induct (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

  1. adapt to Isabelle/11a1f4d7af51; (detail)
  2. use emph instead of italic; (detail)
  3. tuned; (detail)
  4. clarified names; (detail)
  5. tuned lemmas (detail)
  6. merged (detail)
  7. removed stuff moved to the Isabelle distribution (detail)
  8. avoid java.net.URL, following Isabelle/a4118f530263; (detail)
  9. updated: standard Borel (detail)

Started by an SCM change

This run spent:

  • 9.7 sec waiting;
  • 10 hr build duration;
  • 10 hr total from scheduled to completion.
Revision: ac4412562c7b1d27cfc6b2c131c6fedaa76f216f
Revision: ba52e1ff7569f57c8032710bae889da5b9b8e9d7