src/Pure/Admin/isabelle_cronjob.scala
Sun, 13 Aug 2023 15:08:38 +0200 wenzelm backed out changeset 2a26d423d9fb: build_log_database not run yet, so this tests the same changesets again;
Wed, 09 Aug 2023 11:04:17 +0200 wenzelm afford multiple tests for arm64_32-darwin on this fast machine;
Wed, 09 Aug 2023 10:51:21 +0200 wenzelm proper history_base for AMR64;
Tue, 08 Aug 2023 23:51:01 +0200 wenzelm proper support for Apple Silicon (ARM64);
Mon, 07 Aug 2023 15:20:51 +0200 wenzelm systematic testing of arm64_32-darwin;
Tue, 25 Jul 2023 14:58:05 +0200 wenzelm back out 9d5e2a08ba1b, hoping the server room stays sufficiently cool;
Mon, 24 Jul 2023 22:53:18 +0200 wenzelm show more build history for AFP;
Fri, 07 Jul 2023 10:39:28 +0200 wenzelm disable lxbroy10 for now: technical problems with cooling;
Tue, 23 May 2023 10:56:41 +0200 wenzelm tuned;
Sat, 08 Apr 2023 18:08:20 +0200 wenzelm use remote copy of locally installed rsync component: for uniform version and options;
Wed, 29 Mar 2023 21:23:56 +0200 wenzelm clarified options;
Wed, 29 Mar 2023 20:41:54 +0200 wenzelm more robust errors: proceed updating database;
Wed, 29 Mar 2023 14:22:01 +0200 wenzelm clarified modules;
Wed, 08 Mar 2023 14:21:14 +0100 wenzelm tuned;
Mon, 06 Mar 2023 21:12:47 +0100 wenzelm clarified signature: reduce boilerplate;
less more (0) -300 -100 -15 tip