Skip to content
Jenkins
log in
Jenkins
overture-master
The Proof Obligation Generator
ENABLE AUTO REFRESH
Up
Status
Changes
Workspace
Embeddable Build Status
trend
W
Description
%
Test Result: 0 tests failing out of a total of 195 tests.
100
Build stability: No recent builds failed.
100
Build History
x
#30
Nov 10, 2020 4:22 PM
170 KB
#29
Aug 28, 2020 1:49 PM
171 KB
Workspace of The Proof Obligation Generator on master
src
target
pom.xml
Nov 10, 2020 4:22:17 PM
5.05 KB
view
README.md
Oct 7, 2015 6:07:06 AM
655 B
view
(all files in zip)