back to parallel compression: full AFP build does require 16GB Java heap (reverting 107472ccc60d);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE23398ed3aecf: back to pide_session=false for now, requires too many JVM resources (reverting…
- Branches
- Unknown
- Tags