#346 (May 11, 2023, 11:30:05 AM)

	Changes Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default) adapted to 3f354d5bbf98; (detail)
	Started by an SCM change
	This run spent: 2 min 2 sec waiting; 12 sec build duration; 2 min 15 sec total from scheduled to completion.
	Revision: 4bb7eb16b867f7ffa785d2a45c253f3c5b1bf5ca
	Revision: ad29f283d9c5d7d35480981802e11c24fc52f5d7
	Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d Repository: https://github.com/isabelle-prover/isabelle-context-build.git refs/remotes/origin/master