The Isabelle build status website now includes AFP:

The charts should become a bit more stable when more data points have

There is a bit more data available than shown here: notably timing for
individual theories. At some point that might help to rearrange session
parents vs. session imports to reduce overall build times systematically.

A more ambitious version of "isabelle build" could even connect to the
database server on the spot, and rearrange its scheduling based on
timing from old versions (or new versions already built elsewhere).

isabelle-dev mailing list

Reply via email to