Build #252 (Aug 7, 2020 2:31:21 PM)

	Build Artifacts org.overture.ide.vdmrt.core-3.0.0-SNAPSHOT-p2artifacts.xml 588 B  view org.overture.ide.vdmrt.core-3.0.0-SNAPSHOT-p2metadata.xml 1.78 KB  view org.overture.ide.vdmrt.core-3.0.0-SNAPSHOT.jar 8.82 KB  view org.overture.ide.vdmrt.core-3.0.0-SNAPSHOT.pom 643 B  view
	Changes Bump version number (commit: 185e89d) (details) Changes in dependency Overture IDE VDM-RT (RealTime) Top-level #234 → #252 (detail) Overture IDE Top-level #240 → #252 (detail) The Overture Tool Platform root #234 → #252 (detail)
	Task Scanner: 2 open tasks in 3 workspace files.