Skip to content
Success

Changes

Summary

  1. recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);
  2. avoid perl;
  3. tuned signature --- following hints by IntelliJ IDEA;
  4. ignore session build timeout, notably in AFP;
  5. check timeout_ignored as in ML, before applying timeout_scale;
Changeset 73704:7c7a59b76528 by wenzelm:
recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 73703:08def1cc6b33 by wenzelm:
avoid perl;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73702:7202e12cb324 by wenzelm:
tuned signature --- following hints by IntelliJ IDEA;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/General/time.scala (diff)
The file was modified src/Pure/PIDE/prover.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/scala_console.scala (diff)
Changeset 73701:d83e7e444b43 by wenzelm:
ignore session build timeout, notably in AFP;
The file was modified etc/options (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 73700:908351c8c0b1 by wenzelm:
check timeout_ignored as in ML, before applying timeout_scale;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)