Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. systematic testing of arm64_32-darwin;
  2. more hardware details;
Changeset 78485:f17cbbbdb3c3 by wenzelm:
systematic testing of arm64_32-darwin;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78484:18c2c03a699d by wenzelm:
more hardware details;
The file was modified Admin/components/PLATFORMS (diff)