Summary
- tuned;
- special case for local contrib, e.g. lxbroy10;
- merged
- tuned signature;
- tuned;
- clarified task logging via log service;
- more explicit management of tasks; separate logger thread with exclusive access to main.log;
- tuned;
- added clone_repository; tuned;
- support remote repositories via ssh command execution; tuned;
- tuned signature;
- modernized;
The file was modified | Admin/lib/Tools/makedist_bundle (diff) |
The file was modified | Admin/lib/Tools/makedist_bundle (diff) |
The file was modified | src/Pure/Admin/build_history.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/ROOT.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
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/mercurial.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/System/isabelle_system.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/Admin/ci_profile.scala (diff) |