Skip to content
Jenkins
log in
Jenkins
vdm2c
vdm2c-vdmlib
#278
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
Fix imports (
commit: 37694f9
) (
details
)
Commit
37694f9f4c04353d33b61d3a9a6bdf486d9e7ef5
by
Peter W. V. Tran-Jørgensen
Fix imports
(
commit: 37694f9
)
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/PaperExampleTests.java
(diff)
![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
Changes