Skip to content
Jenkins
log in
Dashboard
devel_neon AUTO build-bundle-release
#771
org.polarsys.chess.contracts.safetyAnalysis
Status
Changes
Console Output
View Build Information
Executed Mojos
Previous Build
Next Build
Started 1 yr 3 mo ago
Took
0 ms
on centos-7-x405q
Aborted
org.polarsys.chess.contracts.safetyAnalysis (Apr 22, 2023, 2:03:34 PM)
No changes.