Changes

Summary

sequential build_release: it uses some of the test machines for pre-built images;

Changeset 70195:e4abb5235c5e by wenzelm: sequential build_release: it uses some of the test machines for pre-built images;
The file was modified	`src/Pure/Admin/isabelle_cronjob.scala` (diff)