#281 (Apr 1, 2023, 3:57:06 PM)

	Changes Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default) tuned (detail)
	Started by an SCM change
	This run spent: 2 min 4 sec waiting; 11 sec build duration; 2 min 16 sec total from scheduled to completion.
	Revision: 5d3ce9f96cfdfd7a66f66c626c140b749202e172
	Revision: 6bc96b722875fee020b9dc666d2dc769ce8c5aab
	Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d Repository: https://github.com/isabelle-prover/isabelle-context-build.git refs/remotes/origin/master