Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper quote (amending 546020a98a91): e.g. relevant for "ISABELLE_BUILD_OPTIONS";
  2. suppress build_log_snapshot: too bulky;
Changeset 65677:7d25b8dbdbfa by wenzelm:
proper quote (amending 546020a98a91): e.g. relevant for "ISABELLE_BUILD_OPTIONS";
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65676:c9c352583b16 by wenzelm:
suppress build_log_snapshot: too bulky;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)