Skip to content
Started 1 hr 41 min ago
Took 13 min on workermtahpc
Success

#5222 (Apr 19, 2024, 2:55:26 AM)

Changes

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

  1. Removed unnecessary theory file 'Doob_Convergence.thy' (detail)
  2. Updated Doob_Convergence to use the newest version of Martingales (detail)

Started by an SCM change (2 times)

This run spent:

  • 1 hr 10 min waiting;
  • 13 min build duration;
  • 1 hr 23 min total from scheduled to completion.
Revision: 0c51e0a6bc378d04c575d2ab52f65bf4e85be3d0
Revision: db43b58419ea4c20f356b3c16bbe49999b65c951