Started 2 mo 18 days ago
Took 15 min on master

Unstable Build #167 (May 17, 2020 7:09:42 PM)

Changes
  1. Guard against missing module names (commit: 50da1be) (details / githubweb)
Changes in dependency
  1. Combinatorial Testing Utilities  ? → Success#234 (detail)
  2. The VDM parser  ? → Success#234 (detail)
  3. The Overture release notes  ? → Success#234 (detail)
  4. The Overture Tool Platform root  ? → Success#234 (detail)
  5. The Java Code Generator Testing  ? → Success#234 (detail)
  6. Overture Sample Tests  ? → Unstable#234 (detail)
  7. Core Tools  ? → Success#234 (detail)
  8. Overture Testing  ? → Success#234 (detail)
  9. Test Framework for Overture  ? → Success#234 (detail)
  10. The VDM Type Checker  ? → Unstable#234 (detail)
  11. The Overture Abstract Syntax Tree  ? → Success#234 (detail)
  12. The VDM to JML Generator Runtime  ? → Success#234 (detail)
  13. The Java Code Generator Runtime  ? → Success#234 (detail)
  14. VDM Annotations  ? → Success#234 (detail)
  15. Documentation  ? → Success#234 (detail)
  16. Overture External Resources  ? → Success#234 (detail)
  17. The Code Generation Platform  ? → Success#234 (detail)
  18. The VDM Pretty Printer  ? → Success#234 (detail)
  19. Annotation Examples  ? → Success#234 (detail)
  20. The VDM Interpreter  ? → Success#234 (detail)
  21. Combinatorial Testing  ? → Success#234 (detail)
  22. The VDM to Isabelle Translator  ? → Success#234 (detail)
  23. VDM Pretty Printing  ? → Success#234 (detail)
  24. The Java Code Generator  ? → Success#234 (detail)
  25. The Proof Obligation Generator  ? → Success#234 (detail)
  26. Combinatorial Testing Runtime  ? → Success#234 (detail)
  27. Overture Testing Framework  ? → Success#234 (detail)
  28. New Pretty Printer  ? → Success#234 (detail)
  29. Provided Annotations  ? → Success#234 (detail)
  30. The Intermediate Representation Tree  ? → Success#234 (detail)
  31. The VDM to JML Generator  ? → Success#234 (detail)
  32. Code Generation  ? → Success#234 (detail)
  33. Overture Core Command Line Tool  ? → Success#234 (detail)
  34. The Java Code Generator Maven Plugin  ? → Success#234 (detail)
  35. POG - Isagen Integration  ? → Success#234 (detail)

Started by GitHub push by peterwvj

Revision: 50da1bede0cb5308d4caa79a5778d3648baf939b
  • refs/remotes/origin/pvj/main
Test Result (20 failures / +20)Show all failed tests >>>

Module Builds

Success Core Tools1 sec
Success Documentation0.5 sec
Success Overture External Resources3.2 sec
Success The Overture Tool Platform root1.9 sec
Success VDM Annotations0.55 sec
Success The Overture Abstract Syntax Tree20 sec
Success Code Generation0.53 sec
Success Combinatorial Testing0.57 sec
Success Overture Core Command Line Tool3.7 sec
Success The VDM Interpreter22 sec
Success POG - Isagen Integration4.3 sec
Success New Pretty Printer2.9 sec
Success The VDM parser11 sec
Success The Proof Obligation Generator10 sec
Success VDM Pretty Printing0.6 sec
Success Test Framework for Overture1.2 sec
Success Overture Testing0.57 sec
Unstable The VDM Type Checker20 sec
Success Annotation Examples1.1 sec
Success Provided Annotations1.1 sec
Success The Java Code Generator Maven Plugin7.8 sec
Success The Java Code Generator Runtime3.6 sec
Success The Intermediate Representation Tree13 sec
Success The VDM to Isabelle Translator6 sec
Unstable The Java Code Generator10 min
Success The Java Code Generator Testing1.3 sec
Success The Code Generation Platform5.8 sec
Success The VDM to JML Generator17 sec
Success The VDM to JML Generator Runtime1.5 sec
Success Combinatorial Testing Runtime23 sec
Success Combinatorial Testing Utilities1.1 sec
Success The VDM Pretty Printer1.1 sec
Success Overture Testing Framework1.2 sec
Unstable Overture Sample Tests18 sec
Success The Overture release notes1 sec