Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 3 mo ago
Took 1 hr 52 min on workermtahpc
Success

#1896 (Feb 22, 2023, 12:50:11 AM)

Build Artifacts
Changes
  1. merged (detail / hgweb)
  2. Simplified some proofs (detail / hgweb)
  3. merged (detail / hgweb)
  4. tuned signature; (detail / hgweb)
  5. tuned signature: avoid warnings in IntelliJ IDEA; (detail / hgweb)
  6. tuned signature; (detail / hgweb)
  7. tuned signature; (detail / hgweb)
  8. tuned signature; (detail / hgweb)
  9. clarified state: more explicit type as plain value, which is also easier to sync with external db; (detail / hgweb)
  10. tuned signature; (detail / hgweb)
  11. tuned signature; (detail / hgweb)
  12. clarified signature: support meaningful subclasses for Build.Engine implementations; (detail / hgweb)
  13. support alternative build engines, via system option "build_engine"; (detail / hgweb)
  14. misc tuning and clarification;
    support SSH.System; (detail / hgweb)
  15. proper test, following Platform.is_linux; (detail / hgweb)
  16. clarified signature; (detail / hgweb)
  17. clarified signature; (detail / hgweb)
  18. merged (detail / hgweb)
  19. Simplified some more proofs (detail / hgweb)
  20. merged (detail / hgweb)
  21. Replacing  z powr of_int i  by  z powi i   and adding new material from the AFP (detail / hgweb)

Started by an SCM change

This run spent:

  • 9.8 sec waiting;
  • 1 hr 52 min build duration;
  • 1 hr 52 min total from scheduled to completion.
Revision: 505958b16880944a6613636ecfcf910144f88d27