Module Overture IDE Eclipse Coverage Editor feature

Full project name: overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor

	Workspace
	Last Successful Artifacts org.overture.ide.plugins.features.coverageeditor-2.7.5-SNAPSHOT-p2artifacts.xml 726 B  view org.overture.ide.plugins.features.coverageeditor-2.7.5-SNAPSHOT-p2metadata.xml 6.61 KB  view org.overture.ide.plugins.features.coverageeditor-2.7.5-SNAPSHOT.jar 6.35 KB  view org.overture.ide.plugins.features.coverageeditor-2.7.5-SNAPSHOT.pom 716 B  view
	Recent Changes

Disk Usage Job 2 MB All builds 2 MB Locked builds - All workspaces 27 KB Slave workspaces 27 KB Non-slave workspaces -

Permalinks

• Last build (#249), 6 days 23 hr ago
• Last stable build (#249), 6 days 23 hr ago
• Last successful build (#249), 6 days 23 hr ago
• Last unsuccessful build (#228), 4 mo 26 days ago
• Last completed build (#249), 6 days 23 hr ago