[Mon Apr 13 00:19:43 GMT+2 2026, server-arm, isabelle_cronjob]: started
[Mon Apr 13 00:19:43 GMT+2 2026, server-arm, init]: started
[Mon Apr 13 00:19:49 GMT+2 2026, server-arm, init]: finished (0:00:06 elapsed time)
[Mon Apr 13 00:19:49 GMT+2 2026, server-arm, mailman_archives]: started
[Mon Apr 13 00:19:49 GMT+2 2026, server-arm, build_release]: started
[Mon Apr 13 00:19:49 GMT+2 2026, server-arm, build_log_database]: started
[Mon Apr 13 00:23:35 GMT+2 2026, server-arm, mailman_archives]: finished (0:03:45 elapsed time)
[Mon Apr 13 00:31:59 GMT+2 2026, server-arm, build_log_database]: finished (0:12:09 elapsed time)
[Mon Apr 13 01:58:07 GMT+2 2026, server-arm, build_release]: finished (1:38:17 elapsed time)
[Mon Apr 13 01:58:07 GMT+2 2026, server-arm, build_status]: started
[Mon Apr 13 01:58:16 GMT+2 2026, server-arm, build_history-mini3]: started
[Mon Apr 13 01:58:16 GMT+2 2026, server-arm, build_history-windows2]: started
[Mon Apr 13 01:58:16 GMT+2 2026, server-arm, build_history-mini2-sonoma]: started
[Mon Apr 13 01:58:16 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: started
[Mon Apr 13 01:58:17 GMT+2 2026, server-arm, build_history-lxbroy10]: started
[Mon Apr 13 01:58:17 GMT+2 2026, server-arm, build_history-mini1-monterey]: started
[Mon Apr 13 01:58:19 GMT+2 2026, server-arm, build_history-linux-arm]: started
[Mon Apr 13 01:59:25 GMT+2 2026, server-arm, build_history-mini3]: ERROR *** Cannot get ML_PLATFORM from other Isabelle: "/Users/isatest/cronjob/isabelle.mini3" (0:01:09 elapsed time)
[Mon Apr 13 01:59:28 GMT+2 2026, server-arm, build_history-mini3]: started
[Mon Apr 13 02:00:22 GMT+2 2026, server-arm, build_history-mini2-sonoma]: ERROR *** Cannot get ML_PLATFORM from other Isabelle: "/Users/isatest/cronjob/isabelle.mini2-sonoma" (0:02:05 elapsed time)
[Mon Apr 13 02:00:24 GMT+2 2026, server-arm, build_history-mini2-sonoma]: started
[Mon Apr 13 02:00:25 GMT+2 2026, server-arm, build_history-mini1-monterey]: ERROR *** Cannot get ML_PLATFORM from other Isabelle: "/Users/isatest/cronjob/isabelle.mini1-monterey" (0:02:07 elapsed time)
[Mon Apr 13 02:00:41 GMT+2 2026, server-arm, build_history-mini3]: ERROR *** Cannot get ML_PLATFORM from other Isabelle: "/Users/isatest/cronjob/isabelle.mini3" (0:01:13 elapsed time)
[Mon Apr 13 02:00:43 GMT+2 2026, server-arm, build_history-mini3]: started
[Mon Apr 13 02:01:56 GMT+2 2026, server-arm, build_history-mini3]: ERROR *** Cannot get ML_PLATFORM from other Isabelle: "/Users/isatest/cronjob/isabelle.mini3" (0:01:13 elapsed time)
[Mon Apr 13 02:02:30 GMT+2 2026, server-arm, build_history-mini2-sonoma]: ERROR *** Cannot get ML_PLATFORM from other Isabelle: "/Users/isatest/cronjob/isabelle.mini2-sonoma" (0:02:06 elapsed time)
[Mon Apr 13 02:28:12 GMT+2 2026, server-arm, build_history-lxbroy10]: build_history_2026-04-13.07326_lxbroy10_x86_64_32-linux_M1.log.xz
[Mon Apr 13 02:28:12 GMT+2 2026, server-arm, build_history-lxbroy10]: build_history_2026-04-13.07326_lxbroy10_x86_64_32-linux_M2.log.xz
[Mon Apr 13 02:28:12 GMT+2 2026, server-arm, build_history-lxbroy10]: build_history_2026-04-13.07326_lxbroy10_x86_64_32-linux_M4.log.xz
[Mon Apr 13 02:28:12 GMT+2 2026, server-arm, build_history-lxbroy10]: build_history_2026-04-13.07326_lxbroy10_x86_64_32-linux_M6.log.xz
[Mon Apr 13 02:28:14 GMT+2 2026, server-arm, build_history-lxbroy10]: finished (0:29:56 elapsed time)
[Mon Apr 13 02:38:44 GMT+2 2026, server-arm, build_status]: finished (0:40:37 elapsed time)