Skip to content
Jenkins
log in
Jenkins
vdm2c
vdm2c-vdmlib
#334
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
Require Overture 2.5.2 (
commit: 15db4d1
) (
details
)
Commit
15db4d1d0eabeb75066b380b655ce219fef76f97
by
Peter W. V. Tran-Jørgensen
Require Overture 2.5.2
Closes #113
(
commit: 15db4d1
)
pom.xml
(diff)
ide/cgen/META-INF/MANIFEST.MF
(diff)
![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
Changes
Changes