Started 8 mo 29 days ago
Took 39 sec on master

Success Build #165 (Oct 17, 2019 12:04:38 PM)

Build Artifacts
typechecker-2.7.3-SNAPSHOT.jar430.33 KB view
typechecker-2.7.3-SNAPSHOT.pom2.56 KB view
Changes
  1. [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) (details)
  2. [maven-release-plugin] prepare for next development iteration (commit: 2412c37) (details)
  3. Fix bug with import type mismatch with export (commit: 03c6582) (details)
  4. Suppress details as well as messages in VDMError when suspended (commit: b652fba) (details)
  5. Fix min_/max_ functions, fixes #706 (commit: c354db8) (details)
Test Result (no failures)