#1439 (Apr 8, 2021, 12:50:06 AM)

1. some tinkering with npm versions; (detail / hgweb)
2. some tinkering with npm versions; (detail / hgweb)
3. back to post-release mode; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. auto-update due to "isabelle build_vscode"; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tuned --- following hints by IntelliJ IDEA; (detail / hgweb)
8. fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes) (detail / hgweb)
9. simplified definition (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 1 hr 34 min build duration;
• 1 hr 34 min total from scheduled to completion.