Skip to content
Jenkins
log in
Dashboard
merge-branch-x-to-devel
#16
org.polarsys.chess.contracts.safetyAnalysis
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-v6kmn
Not built
org.polarsys.chess.contracts.safetyAnalysis (Jun 23, 2021, 11:03:53 AM)
No changes.