Skip to content
Jenkins
log in
Jenkins
vdm2c-multibranch-pipeline
pvj/ovt-254
#3
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Git Build Data
See Fingerprints
Open Tasks
Open Tasks
Test Result
Coverage Report
Open Tasks
Open Tasks
Embeddable Build Status
Pipeline Steps
Workspaces
Previous Build
Next Build
Changes
Summary
Fix clean up in OOChecks test (
details
)
Commit
ef9b360ce943e9bdd6ed087473289acb9f3f789d
by
Peter W. V. Tran-Jørgensen
Fix clean up in OOChecks test
core/vdm2c/src/test/resources/native/oo-checks/ExpressionOOChecks_Tests.cpp
(diff)
![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
Changes
Changes