Skip to content

ENABLE AUTO REFRESH

Up

Status

Embeddable Build Status

W	Description	%
	Test Result: 0 tests failing out of a total of 1,906 tests.	100
	Build stability: No recent builds failed.	100

Build History

x

Aug 11, 2021 4:10 PM

1 MB

May 6, 2021 1:53 PM

1 MB

Feb 9, 2021 11:47 AM

1 MB

Dec 15, 2020 9:41 PM

1 MB

Nov 11, 2020 4:02 PM

1 MB

Nov 10, 2020 4:20 PM

1 MB

Nov 10, 2020 3:10 PM

1 MB

Nov 10, 2020 2:34 PM

1 MB

Nov 10, 2020 2:03 PM

1 MB

Nov 10, 2020 1:33 PM

1 MB

Nov 10, 2020 9:58 AM

1 MB

Nov 10, 2020 9:27 AM

1 MB

Nov 4, 2020 10:29 AM

1 MB

Oct 30, 2020 5:22 PM

1 MB

Oct 6, 2020 3:19 PM

1 MB

Oct 5, 2020 1:57 PM

1 MB

Sep 10, 2020 9:45 AM

1 MB

Sep 8, 2020 3:59 PM

1 MB

Sep 8, 2020 3:48 PM

1 MB

Aug 31, 2020 2:47 PM

1 MB

Aug 28, 2020 11:12 AM

1 MB

Aug 28, 2020 10:41 AM

1 MB

Aug 28, 2020 10:31 AM

-

Aug 28, 2020 9:27 AM

1 MB

Aug 26, 2020 11:40 AM

1 MB

May 4, 2018 3:08 PM

1 MB

Module The VDM Type Checker

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

Test Result Trend

[Test result trend chart]

(just show failures) enlarge

Last Successful Artifacts

	typechecker-3.0.3-SNAPSHOT-javadoc.jar	1.13 MB	view
	typechecker-3.0.3-SNAPSHOT.jar	456.93 KB	view
	typechecker-3.0.3-SNAPSHOT.pom	2.56 KB	view

Disk Usage

	Job	27 MB
	All builds	27 MB
	Locked builds	-
	All workspaces	25 MB
	Slave workspaces	25 MB
	Non-slave workspaces	-

Latest Test Result (no failures)

Permalinks