--- a/src/Pure/Admin/isabelle_cronjob.scala Wed Aug 07 11:58:01 2024 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Wed Aug 07 11:58:45 2024 +0200
@@ -16,7 +16,7 @@
object Isabelle_Cronjob {
/* global resources: owned by main cronjob */
- val backup = "lxbroy10:cronjob"
+ val backup = "isabelle.in.tum.de:cronjob"
val main_dir: Path = Path.explode("~/cronjob")
val main_state_file: Path = main_dir + Path.explode("run/main.state")
val build_release_log: Path = main_dir + Path.explode("run/build_release.log")