[Fri Oct 9 00:19:21 GMT+2 2026, server-arm, isabelle_cronjob]: started
[Fri Oct 9 00:19:22 GMT+2 2026, server-arm, init]: started
[Fri Oct 9 00:19:29 GMT+2 2026, server-arm, init]: finished (0:00:07 elapsed time)
[Fri Oct 9 00:19:29 GMT+2 2026, server-arm, mailman_archives]: started
[Fri Oct 9 00:19:29 GMT+2 2026, server-arm, build_release]: started
[Fri Oct 9 00:19:29 GMT+2 2026, server-arm, build_log_database]: started
[Fri Oct 9 00:23:04 GMT+2 2026, server-arm, mailman_archives]: finished (0:03:35 elapsed time)
[Fri Oct 9 00:33:39 GMT+2 2026, server-arm, build_log_database]: finished (0:14:09 elapsed time)
[Fri Oct 9 02:04:24 GMT+2 2026, server-arm, build_release]: finished (1:44:55 elapsed time)
[Fri Oct 9 02:04:24 GMT+2 2026, server-arm, build_status]: started
[Fri Oct 9 02:05:08 GMT+2 2026, server-arm, build_history-mini1-monterey]: started
[Fri Oct 9 02:05:08 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: started
[Fri Oct 9 02:05:08 GMT+2 2026, server-arm, build_history-mini2-sonoma]: started
[Fri Oct 9 02:05:08 GMT+2 2026, server-arm, build_history-studio1-sonoma]: started
[Fri Oct 9 02:05:11 GMT+2 2026, server-arm, build_history-windows2]: started
[Fri Oct 9 02:05:11 GMT+2 2026, server-arm, build_history-linux-arm]: started
[Fri Oct 9 02:05:12 GMT+2 2026, server-arm, build_history-lxbroy10]: started
[Fri Oct 9 02:05:12 GMT+2 2026, server-arm, build_history-mini3]: started
[Fri Oct 9 02:14:13 GMT+2 2026, server-arm, build_history-mini2-sonoma]: build_history_2026-10-09.07585_mini2-sonoma_x86_64_32-darwin_M4_quick_and_dirty.log.xz
[Fri Oct 9 02:14:15 GMT+2 2026, server-arm, build_history-mini2-sonoma]: finished (0:09:06 elapsed time)
[Fri Oct 9 02:14:17 GMT+2 2026, server-arm, build_history-mini2-sonoma]: started
[Fri Oct 9 02:14:58 GMT+2 2026, server-arm, build_history-mini2-sonoma]: ERROR Failed to build Isabelle/Scala/Java modules: (0:00:40 elapsed time)
[Fri Oct 9 02:36:06 GMT+2 2026, server-arm, build_history-lxbroy10]: build_history_2026-10-09.07731_lxbroy10_x86_64_32-linux_M1.log.xz
[Fri Oct 9 02:36:06 GMT+2 2026, server-arm, build_history-lxbroy10]: build_history_2026-10-09.07731_lxbroy10_x86_64_32-linux_M2.log.xz
[Fri Oct 9 02:36:06 GMT+2 2026, server-arm, build_history-lxbroy10]: build_history_2026-10-09.07731_lxbroy10_x86_64_32-linux_M4.log.xz
[Fri Oct 9 02:36:06 GMT+2 2026, server-arm, build_history-lxbroy10]: build_history_2026-10-09.07731_lxbroy10_x86_64_32-linux_M6.log.xz
[Fri Oct 9 02:36:08 GMT+2 2026, server-arm, build_history-lxbroy10]: finished (0:30:55 elapsed time)
[Fri Oct 9 03:05:39 GMT+2 2026, server-arm, build_status]: finished (1:01:14 elapsed time)
[Fri Oct 9 05:08:14 GMT+2 2026, server-arm, build_history-mini3]: build_history_2026-10-09.07560_mini3_arm64_32-darwin_M1.log.xz
[Fri Oct 9 05:08:14 GMT+2 2026, server-arm, build_history-mini3]: build_history_2026-10-09.07560_mini3_arm64_32-darwin_M2.log.xz
[Fri Oct 9 05:08:14 GMT+2 2026, server-arm, build_history-mini3]: build_history_2026-10-09.07560_mini3_arm64_32-darwin_M4.log.xz
[Fri Oct 9 05:08:24 GMT+2 2026, server-arm, build_history-mini3]: finished (3:03:11 elapsed time)
[Fri Oct 9 06:57:22 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: build_history_2026-10-09.07593_linux-netcup-g12_x86_64_32-linux_M1.log.xz
[Fri Oct 9 06:57:22 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: build_history_2026-10-09.07593_linux-netcup-g12_x86_64_32-linux_M2.log.xz
[Fri Oct 9 06:57:22 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: build_history_2026-10-09.07593_linux-netcup-g12_x86_64_32-linux_M4.log.xz
[Fri Oct 9 06:57:22 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: build_history_2026-10-09.07593_linux-netcup-g12_x86_64_32-linux_M8.log.xz
[Fri Oct 9 06:57:35 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: finished (4:52:27 elapsed time)
[Fri Oct 9 06:57:41 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: started
[Fri Oct 9 08:45:08 GMT+2 2026, server-arm, build_history-mini1-monterey]: build_history_2026-10-09.07589_mini1-monterey_x86_64_32-darwin_M1.log.xz
[Fri Oct 9 08:45:08 GMT+2 2026, server-arm, build_history-mini1-monterey]: build_history_2026-10-09.07589_mini1-monterey_x86_64_32-darwin_M2.log.xz
[Fri Oct 9 08:45:08 GMT+2 2026, server-arm, build_history-mini1-monterey]: build_history_2026-10-09.07589_mini1-monterey_x86_64_32-darwin_M4.log.xz
[Fri Oct 9 08:45:15 GMT+2 2026, server-arm, build_history-mini1-monterey]: finished (6:40:07 elapsed time)
[Fri Oct 9 08:48:19 GMT+2 2026, server-arm, build_history-studio1-sonoma]: build_history_2026-10-09.07611_studio1-sonoma__M1_AFP.log.xz
[Fri Oct 9 08:48:37 GMT+2 2026, server-arm, build_history-studio1-sonoma]: finished (6:43:28 elapsed time)
[Fri Oct 9 09:39:06 GMT+2 2026, server-arm, build_history-windows2]: build_history_2026-10-09.07885_windows2_x86_64_32-windows_M1_AFP.log.xz
[Fri Oct 9 09:39:22 GMT+2 2026, server-arm, build_history-windows2]: finished (7:34:11 elapsed time)
[Fri Oct 9 09:48:55 GMT+2 2026, server-arm, build_history-linux-arm]: build_history_2026-10-09.07531_linux-arm_arm64_32-linux_M1.log.xz
[Fri Oct 9 09:48:59 GMT+2 2026, server-arm, build_history-linux-arm]: finished (7:43:47 elapsed time)
[Fri Oct 9 10:23:55 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: build_history_2026-10-09.25150_linux-netcup-g12_x86_64_32-linux_M1.log.xz
[Fri Oct 9 10:23:55 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: build_history_2026-10-09.25150_linux-netcup-g12_x86_64_32-linux_M2.log.xz
[Fri Oct 9 10:23:55 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: build_history_2026-10-09.25150_linux-netcup-g12_x86_64_32-linux_M4.log.xz
[Fri Oct 9 10:23:55 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: build_history_2026-10-09.25150_linux-netcup-g12_x86_64_32-linux_M8.log.xz
[Fri Oct 9 10:24:01 GMT+2 2026, server-arm, build_history-linux-netcup-g12]: finished (3:26:20 elapsed time)
[Fri Oct 9 10:24:02 GMT+2 2026, server-arm, build_status]: started
[Fri Oct 9 11:25:54 GMT+2 2026, server-arm, build_status]: finished (1:01:52 elapsed time)
[Fri Oct 9 11:25:55 GMT+2 2026, server-arm, exit]: started
[Fri Oct 9 11:26:14 GMT+2 2026, server-arm, exit]: finished (0:00:19 elapsed time)
[Fri Oct 9 11:26:14 GMT+2 2026, server-arm, isabelle_cronjob]: finished (11:06:52 elapsed time)