Summary
- renamed lemmas
- build manager: echo error messages to server output;
- omit showing previous failures for user builds;
- always handle interrupted jobs;
- add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;
- clarified context: operations now in build process;
- clarified: add explicit build process;
- remove unnecessary subdir;
- tuned;
- tuned proof: avoid smt/z3 to make this work with arm64-linux;
- proper afp_directory (amending 9308bc5f65d6);
- clarified names;
- clarified name: avoid clash with Library.Update;
- clarified signature;
- tuned whitespace;
- clarified signature;
- merged
- more informative ZBox;
- more operations;
- tuned signature;
- tuned;
- tuned signature;
- remove unused (see also 04214caeb9ac);
- tuned signature;
- add triggers to ci jobs: on commit vs timed;
- manage components of ci builds;
- use external CSS for build manager page;
- more build manager page;
- more page elements;
- web app: add automatic resize;
- ensure permissions when starting build task (e.g., due to misconfigured client);
- add verbose option to build_task;
- tuned;
- build manager: manage directories/permissions, to minimize local administration;
- read prefs properly;
- allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
- web app: proper document height;
- merged
- add build manager module;
- support ci job via hg_sync (cf. 7883f221d6d3);
- tuned;
- use Content-Digest header in HEAD requests instead of length (to track non-monotone changes);