History for org.overture.pog.tests.newtests [Jenkins]

Back to Project

Status

Changes

Console Output

View Build Information

History

Embeddable Build Status

Previous Build

Next Build

History for org.overture.pog.tests.newtests

show count

Build	Description	Duration	Fail	Skip	Total
overture-development » The Proof Obligation Generator #290		3.2 sec	0	84	188
overture-development » The Proof Obligation Generator #289		5.4 sec	0	84	188
overture-development » The Proof Obligation Generator #288		3.4 sec	0	84	188
overture-development » The Proof Obligation Generator #287		4.3 sec	0	84	188
overture-development » The Proof Obligation Generator #286		3.9 sec	0	84	188
overture-development » The Proof Obligation Generator #285		3.3 sec	0	84	188
overture-development » The Proof Obligation Generator #284		3.3 sec	0	84	188
overture-development » The Proof Obligation Generator #283		6.3 sec	0	84	188
overture-development » The Proof Obligation Generator #282		3.8 sec	0	84	188
overture-development » The Proof Obligation Generator #281		3.6 sec	0	84	188
overture-development » The Proof Obligation Generator #280		3.4 sec	0	84	188
overture-development » The Proof Obligation Generator #279		3.5 sec	0	84	188
overture-development » The Proof Obligation Generator #278		2.9 sec	0	84	188
overture-development » The Proof Obligation Generator #277		3.5 sec	0	84	188
overture-development » The Proof Obligation Generator #276		3.7 sec	0	84	188
overture-development » The Proof Obligation Generator #275		3.5 sec	0	84	188
overture-development » The Proof Obligation Generator #274		3 sec	0	84	188
overture-development » The Proof Obligation Generator #273		3.6 sec	0	84	188
overture-development » The Proof Obligation Generator #272		3.3 sec	0	84	188
overture-development » The Proof Obligation Generator #271		3.7 sec	0	84	188
overture-development » The Proof Obligation Generator #270		3.6 sec	0	84	188
overture-development » The Proof Obligation Generator #269		3.4 sec	0	84	188
overture-development » The Proof Obligation Generator #267		3.9 sec	0	84	188
overture-development » The Proof Obligation Generator #266		3.7 sec	0	84	188

Older