Status

Changes

Workspace

Open Tasks

Embeddable Build Status

trend

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

#290

Aug 11, 2021 4:10 PM

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

1 MB

Aug 28, 2020 11:12 AM

1 MB

#269

Aug 28, 2020 10:41 AM

1 MB

#268

Aug 28, 2020 10:31 AM

#267

Aug 28, 2020 9:27 AM

1 MB

#266

Aug 26, 2020 11:40 AM

1 MB

#200

May 4, 2018 3:08 PM

1 MB

Changes between #276 and #277

#277 (Oct 30, 2020 5:22:10 PM)

Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) — nick.battle / detail
Use re-stated types in definition imports (see #760) (commit: bd2643b) — nick.battle / detail