Skip to content
Jenkins
log in
Dashboard
merge-branch-x-to-devel
#17
org.polarsys.chess.contracts.verificationService
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Previous Build
Next Build
Started 3 yr 0 mo ago
Took
1 ms
on centos-7-rhpnj
Not built
org.polarsys.chess.contracts.verificationService (Jun 25, 2021, 3:15:25 AM)
No changes.
![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
