Started 9 mo 4 days ago
Took 43 sec on master

Success Build #278 (Nov 4, 2020 10:29:03 AM)

Changes
  1. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) (details)
Changes in dependency
  1. The VDM parser Success#277Success#278 (detail)
  2. The Overture Abstract Syntax Tree Success#277Success#278 (detail)
  3. Test Framework for Overture Success#277Success#278 (detail)
Task Scanner: 61 open tasks in 150 workspace files.
    Test Result (no failures)