Status

Changes

Workspace

Open Tasks

Embeddable Build Status

trend

W	Description	%
	Build stability: No recent builds failed.	100

Build History

#290

Aug 11, 2021 4:10 PM

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

39 KB

5 KB

39 KB

Aug 28, 2020 11:12 AM

38 KB

#269

Aug 28, 2020 10:41 AM

38 KB

#268

Aug 28, 2020 10:31 AM

#267

Aug 28, 2020 9:27 AM

38 KB

#266

Aug 26, 2020 11:40 AM

38 KB

#200

May 4, 2018 3:08 PM

42 KB

Module org.overture.ide.vdmrt.core

Full project name: overture-development/org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core

Workspace

Last Successful Artifacts

org.overture.ide.vdmrt.core-3.0.3-SNAPSHOT-p2artifacts.xml	588 B	view
org.overture.ide.vdmrt.core-3.0.3-SNAPSHOT-p2metadata.xml	2.11 KB	view
org.overture.ide.vdmrt.core-3.0.3-SNAPSHOT.jar	8.80 KB	view
org.overture.ide.vdmrt.core-3.0.3-SNAPSHOT.pom	643 B	view

Recent Changes

Disk Usage

	Job	961 KB
	All builds	932 KB
	Locked builds	-
	All workspaces	98 KB
	Slave workspaces	98 KB
	Non-slave workspaces	-

Module org.overture.ide.vdmrt.core

Permalinks