src/Pure/Admin/build_status.scala
Sat, 25 Nov 2023 20:41:18 +0100 wenzelm clarified modules;
Mon, 20 Nov 2023 14:11:34 +0100 wenzelm suppress duplicate entries systematically using log_name: e.g. relevant for AFP;
Sun, 19 Nov 2023 19:29:19 +0100 wenzelm clarified signature: explicit Remote_Build.count instead of duplicate entries (see also ee8c014526dc);
Sat, 18 Nov 2023 19:31:22 +0100 wenzelm avoid duplicate data;
Sat, 18 Nov 2023 19:14:59 +0100 wenzelm output more data;
Sat, 18 Nov 2023 18:52:34 +0100 wenzelm tuned whitespace;
Sat, 04 Nov 2023 17:29:49 +0100 wenzelm clarified "recent" time: days <= 0 means infinity (no constraint);
Sat, 04 Nov 2023 16:56:54 +0100 wenzelm tuned whitespace;
Thu, 26 Oct 2023 15:38:27 +0200 wenzelm clarified names;
Tue, 29 Aug 2023 17:17:12 +0200 wenzelm clarified signature: prefer enum types;
Sun, 16 Jul 2023 09:50:42 +0200 wenzelm proper close() operation;
Wed, 14 Jun 2023 11:47:43 +0200 wenzelm tuned signature: more operations;
Sun, 09 Apr 2023 18:32:39 +0200 wenzelm clarified signature;
Wed, 08 Mar 2023 14:22:11 +0100 wenzelm tuned;
Sat, 04 Mar 2023 23:25:30 +0100 wenzelm clarified signature: manage "verbose" flag via "progress";
Sun, 26 Feb 2023 20:19:01 +0100 wenzelm misc tuning and clarification: more uniform use of optional "sql" in SQL.Table.delete/select;
Sun, 26 Feb 2023 13:50:07 +0100 wenzelm clarified signature: more concise operations;
Fri, 24 Feb 2023 20:40:50 +0100 wenzelm tuned;
Sat, 28 Jan 2023 22:29:24 +0100 wenzelm removed somewhat pointless support for Jenkins log files: it has stopped working long ago;
Sat, 28 Jan 2023 16:08:43 +0100 wenzelm clarified signature: more explicit types;
Sat, 28 Jan 2023 15:04:15 +0100 wenzelm clarified signature: more explicit types;
Thu, 25 Aug 2022 15:52:42 +0200 wenzelm tuned signature: build_log db is specific to PostgreSQL;
Fri, 01 Apr 2022 23:19:12 +0200 wenzelm tuned formatting;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Sat, 27 Nov 2021 14:31:11 +0100 wenzelm proper fields for gnuplot (amending b614e3e4146a);
Sat, 27 Nov 2021 13:55:03 +0100 wenzelm tuned;
Fri, 12 Nov 2021 23:20:05 +0100 wenzelm proper detection of ARM platform variants;
Thu, 04 Mar 2021 15:41:46 +0100 wenzelm tuned --- fewer warnings;
Mon, 01 Mar 2021 22:50:00 +0100 wenzelm tuned --- avoid deprecated conversions between certain number type;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Sun, 10 Jan 2021 13:04:29 +0100 wenzelm more informative errors: simplify diagnosis of spurious failures reported by users;
Sat, 02 Jan 2021 22:50:09 +0100 wenzelm clarified caching;
Sat, 02 Jan 2021 22:22:34 +0100 wenzelm clarified signature: absorb XZ.Cache into XML.Cache;
Sat, 28 Nov 2020 21:56:24 +0100 wenzelm added document antiquotation @{tool};
Mon, 05 Oct 2020 22:07:25 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Tue, 26 May 2020 11:17:10 +0200 wenzelm tuned;
Tue, 07 Apr 2020 21:49:36 +0200 wenzelm clarified signature: more uniform treatment of stopped/interrupted state;
Sun, 13 Oct 2019 17:17:40 +0200 wenzelm tuned signature;
Sun, 10 Mar 2019 22:38:00 +0100 wenzelm proper data columns for plots;
Sat, 23 Feb 2019 21:48:18 +0100 wenzelm tuned output;
Sat, 23 Feb 2019 21:33:09 +0100 wenzelm more memory fields;
Wed, 20 Feb 2019 12:10:40 +0100 wenzelm updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
Fri, 25 Jan 2019 15:57:24 +0100 wenzelm proper operation in weakly-typed Scala (amending 06153e2e0cdb);
Thu, 24 Jan 2019 13:53:33 +0100 wenzelm proper treatment of x86_64_32;
Sat, 19 Jan 2019 20:18:26 +0100 wenzelm more official AFP.groups;
Sat, 10 Nov 2018 14:08:02 +0100 wenzelm support for user-defined Isabelle/Scala command-line tools;
Fri, 20 Apr 2018 22:17:42 +0200 wenzelm support for XZ.Cache;
Sat, 03 Mar 2018 21:38:27 +0100 wenzelm more compact ML_Statistics, to make build_status work with less than 2GB heap;
Sat, 03 Mar 2018 17:37:33 +0100 wenzelm retain latest ml_stats (amending e76c6cb0d461);
Fri, 02 Mar 2018 20:46:25 +0100 wenzelm proper order;
Thu, 01 Mar 2018 20:44:38 +0100 wenzelm clarified date for presentation vs. formal pull_date;
Thu, 01 Mar 2018 20:18:24 +0100 wenzelm reveal raw data in CSV format;
Sat, 04 Nov 2017 15:24:40 +0100 wenzelm more robust sorted_entries;
Sat, 04 Nov 2017 14:41:26 +0100 wenzelm more convenient build_log_history;
Wed, 01 Nov 2017 18:24:39 +0100 wenzelm proper order for entries from multiple profiles, notably "AFP";
Wed, 01 Nov 2017 17:29:14 +0100 wenzelm tuned output;
Wed, 18 Oct 2017 20:26:32 +0200 wenzelm clarified output;
Wed, 18 Oct 2017 20:14:57 +0200 wenzelm tuned output;
Wed, 18 Oct 2017 19:53:19 +0200 wenzelm more thorough treatment of afp_version and afp_pull_date;
less more (0) -100 -60 tip