#5139 (Mar 28, 2024, 4:55:57 AM)

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

1. proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests; (detail / hgweb)
2. proper "isabelle go_setup" for Jenkins; (detail / hgweb)

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

1. proper Go setup, following Isabelle/da323d3d7570; (detail)

Started by an SCM change

This run spent:

• 2 hr 12 min waiting;
• 17 min build duration;
• 2 hr 29 min total from scheduled to completion.

• Distributed_Distinct_Elements