--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Nov 07 20:24:34 2020 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Nov 07 20:46:24 2020 +0100
@@ -27,6 +27,8 @@
val isabelle_repos: Path = main_dir + Path.explode("isabelle")
val afp_repos: Path = main_dir + Path.explode("AFP")
+ val mailman_archives_dir = Path.explode("~/cronjob/Mailman")
+
val build_log_dirs =
List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log"))
@@ -70,6 +72,16 @@
})
+ /* Mailman archives */
+
+ val mailman_archives: Logger_Task =
+ Logger_Task("mailman_archives", logger =>
+ {
+ Mailman.isabelle_users.download(mailman_archives_dir)
+ Mailman.isabelle_dev.download(mailman_archives_dir)
+ })
+
+
/* build release */
val build_release: Logger_Task =
@@ -567,8 +579,7 @@
run_now(
SEQ(List(
init,
- build_history_base,
- build_release,
+ PAR(List(mailman_archives, SEQ(List(build_history_base, build_release)))),
PAR(
List(remote_builds1, remote_builds2).map(remote_builds =>
SEQ(List(