Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more Java 11 illegal-access warnings;
  2. prefer more powerful machine;
Changeset 69311:740b14b67472 by wenzelm:
more Java 11 illegal-access warnings;
The file was modified etc/settings (diff)
Changeset 69310:bf5cbefb5c1f by wenzelm:
prefer more powerful machine;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)