#5306 (Jun 6, 2024, 2:57:33 PM)

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

1. add triggers to ci jobs: on commit vs timed; (detail / hgweb)

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

1. set triggers of ci jobs (see Isabelle/e3f472221f8f); (detail)
2. set component of ci jobs (see Isabelle/ed9b1598d293); (detail)

Started by an SCM change (2 times)

This run spent:

• 3 min 31 sec waiting;
• 14 min build duration;
• 18 min total from scheduled to completion.