Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper history_base for linux_arm;
  2. updated to PostgreSQL 12 on Ubuntu 20.04; more accurate command-line;
  3. routine build + test for linux_arm;
  4. disable test on "augsburg1": machine will be dismantled;
Changeset 79538:d17d566d86c0 by wenzelm:
proper history_base for linux_arm;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 79537:9c2adb18fb36 by wenzelm:
updated to PostgreSQL 12 on Ubuntu 20.04;<br>more accurate command-line;
The file was modified Admin/cronjob/README (diff)
Changeset 79536:d39976404aa7 by wenzelm:
routine build + test for linux_arm;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 79535:9ecb62e10621 by wenzelm:
disable test on &quot;augsburg1&quot;: machine will be dismantled;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)