Skip to content
Jenkins
log in
Dashboard
devel_neon AUTO build-bundle-release
#767
org.polarsys.chess.contracts.safetyAnalysis
Status
Changes
Console Output
View Build Information
Executed Mojos
Previous Build
Next Build
Started 1 yr 4 mo ago
Took
0 ms
on centos-7-qgvrh
Aborted
org.polarsys.chess.contracts.safetyAnalysis (Apr 19, 2023, 3:42:34 AM)
No changes.
![[Jenkins]](/chess/static/86146e19/images/svgs/logo.svg){kind=logo}
