#1799 (Oct 22, 2022, 12:50:09 AM)

1. clarified signature;
   more direct Zstd compression using arrays instead of streams; (detail / hgweb)
2. tuned signature, following isabelle.setup.Environment; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. prefer new instance, following "make" signature terminology; (detail / hgweb)
8. generic support for XZ and Zstd compression in Isabelle/Scala;
   support for Zstd compression in Isabelle/ML; (detail / hgweb)
9. clarified signature: default cache is actually dummy and not changed dynamically; (detail / hgweb)
10. clarified Zstd.init(): avoid accidential com.github.luben.zstd.util.Native.load() operation; (detail / hgweb)
11. support for Zstd data compression; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 49 min build duration;
• 1 hr 49 min total from scheduled to completion.