#5272 (May 22, 2024, 3:52:38 PM)

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

1. added publication link (detail)

Started by user Administrative User

This run spent:

• 10 ms waiting;
• 18 min build duration;
• 18 min total from scheduled to completion.

• Isabelle_DOF