Just for the record: the recent change of timing in
http://isabelle.in.tum.de/devel/build_status/AFP/index.html#session_Native_Word
is due to a change of test parameters:
changeset: 67568:fc2b303070da
user: wenzelm
date: Sat Feb 03 14:32:12 2018 +0100
files: src/Pure/Admin/isabelle_cronjob.scala
description:
more external tools for AFP test;
I have made manual tests to confirm this: nothing to be seen here.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
