#1744 (Aug 9, 2022, 12:50:06 AM)

1. Added tag Isabelle2022-RC0 for changeset b42e20adaeed (detail / hgweb)
2. proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala); (detail / hgweb)
3. clarified message; (detail / hgweb)
4. provide naproche-20220808 (inactive); (detail / hgweb)
5. more robust data representation: notably for Store.read_session_timing with database_server; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.7 sec waiting;
• 1 hr 47 min build duration;
• 1 hr 47 min total from scheduled to completion.