#3692 (Jun 24, 2022, 3:26:56 AM)

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

1. more robust CSV syntax, e.g. for "pull_date"; (detail)

Started by an SCM change

This run spent:

• 1 hr 37 min waiting;
• 13 min build duration;
• 1 hr 50 min total from scheduled to completion.

• Isabelle_C
• Hello_World
• Isabelle_Meta_Model