Mon, 08 May 2017 11:00:20 +0200 |
wenzelm |
more precise profiles;
|
file |
diff |
annotate
|
Sun, 07 May 2017 23:18:23 +0200 |
wenzelm |
clarified description vs. file name;
|
file |
diff |
annotate
|
Sat, 06 May 2017 20:51:33 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 06 May 2017 20:00:29 +0200 |
wenzelm |
present build status;
|
file |
diff |
annotate
|
Sat, 06 May 2017 00:12:46 +0200 |
wenzelm |
performance statistics from build log database;
|
file |
diff |
annotate
|
Fri, 05 May 2017 20:00:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 05 May 2017 18:15:53 +0200 |
wenzelm |
detect database entries;
|
file |
diff |
annotate
|
Thu, 04 May 2017 15:38:24 +0200 |
wenzelm |
clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
|
file |
diff |
annotate
|
Thu, 04 May 2017 11:31:32 +0200 |
wenzelm |
clarified directory layout;
|
file |
diff |
annotate
|
Thu, 04 May 2017 00:15:11 +0200 |
wenzelm |
produce build_log_snapshot, based on small prefix into pull_date history;
|
file |
diff |
annotate
|
Wed, 03 May 2017 14:55:34 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 02 May 2017 23:31:00 +0200 |
wenzelm |
views for full PostgreSQL database;
|
file |
diff |
annotate
|
Tue, 02 May 2017 21:42:03 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 02 May 2017 14:27:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 02 May 2017 10:12:26 +0200 |
wenzelm |
suppress build_log_snapshot: too bulky;
|
file |
diff |
annotate
|
Mon, 01 May 2017 23:00:23 +0200 |
wenzelm |
more Jenkins logs for build_log database;
|
file |
diff |
annotate
|
Mon, 01 May 2017 22:45:39 +0200 |
wenzelm |
approximate repository identify job based on isabelle-nightly-slow;
|
file |
diff |
annotate
|
Mon, 01 May 2017 20:14:50 +0200 |
wenzelm |
create full view on build_log data, but avoid bombing sqlitebrowser;
|
file |
diff |
annotate
|
Mon, 01 May 2017 13:39:27 +0200 |
wenzelm |
slightly more compact file;
|
file |
diff |
annotate
|
Mon, 01 May 2017 13:03:56 +0200 |
wenzelm |
incremental download of Jenkins log files, which are also added to database;
|
file |
diff |
annotate
|
Sun, 30 Apr 2017 17:02:56 +0200 |
wenzelm |
clarified database update: full ml_statistics on server, no ml_statistics on plain file;
|
file |
diff |
annotate
|
Sat, 29 Apr 2017 21:04:03 +0200 |
wenzelm |
maintain build_log database;
|
file |
diff |
annotate
|
Thu, 27 Apr 2017 15:56:55 +0200 |
wenzelm |
clarified treatment of default port;
|
file |
diff |
annotate
|
Tue, 28 Feb 2017 12:04:23 +0100 |
wenzelm |
more tests;
|
file |
diff |
annotate
|
Fri, 17 Feb 2017 20:01:17 +0100 |
wenzelm |
removed obsolete test -- coincides with mainline version;
|
file |
diff |
annotate
|
Mon, 16 Jan 2017 21:53:44 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 10 Dec 2016 15:45:16 +0100 |
wenzelm |
updated Poly/ML repository test version (08-Dec-2016);
|
file |
diff |
annotate
|
Sun, 04 Dec 2016 18:53:22 +0100 |
wenzelm |
back to isabelle-dev repository;
|
file |
diff |
annotate
|
Sun, 13 Nov 2016 21:37:30 +0100 |
wenzelm |
more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
|
file |
diff |
annotate
|
Thu, 10 Nov 2016 21:54:58 +0100 |
wenzelm |
clarified File.move: target directory like File.copy;
|
file |
diff |
annotate
|
Thu, 10 Nov 2016 12:14:03 +0100 |
wenzelm |
more logging, to see better when files written;
|
file |
diff |
annotate
|
Thu, 10 Nov 2016 10:41:41 +0100 |
wenzelm |
proper cleanup;
|
file |
diff |
annotate
|
Thu, 10 Nov 2016 10:35:34 +0100 |
wenzelm |
uniform order for options and args;
|
file |
diff |
annotate
|
Wed, 09 Nov 2016 22:23:36 +0100 |
wenzelm |
proper option for "build", not "build_history" (cf. 5ca4ac099e94);
|
file |
diff |
annotate
|
Sun, 06 Nov 2016 22:51:40 +0100 |
wenzelm |
back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;
|
file |
diff |
annotate
|
Tue, 01 Nov 2016 15:00:27 +0100 |
wenzelm |
proper remote repository source;
|
file |
diff |
annotate
|
Wed, 26 Oct 2016 16:15:37 +0200 |
wenzelm |
more informative error (see 6e9c22c494c5);
|
file |
diff |
annotate
|
Wed, 26 Oct 2016 16:05:41 +0200 |
wenzelm |
tuned signature -- more friendly for experimentation;
|
file |
diff |
annotate
|
Wed, 26 Oct 2016 14:52:41 +0200 |
wenzelm |
just one task to identify Isabelle + AFP repository snapshots and build release;
|
file |
diff |
annotate
|
Tue, 25 Oct 2016 19:44:20 +0200 |
wenzelm |
use other remote_mac: macbroy30 is down;
|
file |
diff |
annotate
|
Tue, 25 Oct 2016 14:06:43 +0200 |
wenzelm |
more informative error (stderr);
|
file |
diff |
annotate
|
Sat, 22 Oct 2016 21:21:14 +0200 |
wenzelm |
more tasks;
|
file |
diff |
annotate
|
Sat, 22 Oct 2016 21:10:02 +0200 |
wenzelm |
remote_builds has PAR-SEQ semantics of old isatest-makedist;
|
file |
diff |
annotate
|
Sat, 22 Oct 2016 19:57:56 +0200 |
wenzelm |
clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
|
file |
diff |
annotate
|
Sat, 22 Oct 2016 17:27:27 +0200 |
wenzelm |
process results immediately;
|
file |
diff |
annotate
|
Fri, 21 Oct 2016 20:49:40 +0200 |
wenzelm |
clarified default args;
|
file |
diff |
annotate
|
Fri, 21 Oct 2016 11:45:35 +0200 |
wenzelm |
less ambitious test;
|
file |
diff |
annotate
|
Thu, 20 Oct 2016 23:42:12 +0200 |
wenzelm |
test for Windows/Cygwin;
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 10:11:22 +0200 |
wenzelm |
avoid spamming log file;
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 10:05:38 +0200 |
wenzelm |
shared_home is default for classic isatest home setup;
|
file |
diff |
annotate
|
Mon, 17 Oct 2016 17:58:30 +0200 |
wenzelm |
improved platform coverage: macbroy30, macbroy31;
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 18:13:04 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 17:50:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 13:27:01 +0200 |
wenzelm |
clarified setup_repository: more uniform pull vs. clone, without update;
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 13:11:47 +0200 |
wenzelm |
proper setup of fresh repository;
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 23:07:47 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 22:45:27 +0200 |
wenzelm |
discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 22:24:04 +0200 |
wenzelm |
timeout as in former isatest-makeall;
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 21:08:04 +0200 |
wenzelm |
clarified hg.id operation, with explicit tip as default;
|
file |
diff |
annotate
|