added remote_build_history tasks: parallel on several remote hosts;
isabelle_identify: use self repos for robustness;
more logger context: options and ssh;
setup repository clones on demand;
clarified target repositories;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE13a97c1d7d22: added setup_repository;
- Branches
- Unknown
- Tags