Started 3 yr 8 mo ago
Took 26 min

Success Build #56 (May 4, 2018 2:35:47 PM)

Build Artifacts
Changes
  1. Type resolve State definition patterns, fixes #681 (details / githubweb)
  2. Fix line ending issues in Overture.bat (details / githubweb)
  3. Update Overture examples (details / githubweb)
  4. Clean up imports (details / githubweb)
  5. Set Locality property (details / githubweb)
  6. Fix record constructor generation (details / githubweb)
  7. Fix record access to values defined by the enclosing module (details / githubweb)

Push event to branch test at 14:35:41 on 04-May-2018

Revision: ed9f962e23926c112482ea81ea068bb1ade27a68
  • test
Task Scanner: 420 open tasks in 1,689 workspace files.
    Task Scanner: 221 open tasks in 994 workspace files.
    Test Result (no failures)
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD55%
      CLASS79%
      Task Scanner: 467 open tasks in 3,407 workspace files.
      Task Scanner: 221 open tasks in 994 workspace files.
      Jacoco - Overall Coverage Summary
      INSTRUCTION56%
      BRANCH44%
      COMPLEXITY44%
      LINE54%
      METHOD55%
      CLASS79%
      Task Scanner: 468 open tasks in 3,482 workspace files.
      Task Scanner: 420 open tasks in 1,689 workspace files.