Summary
- 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;