Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 4 mo ago
Took 1.9 sec on centos-7-dkmkt
Success

#37 (Jan 24, 2022, 4:03:04 AM)

Changes
  1. Extend support to timed domain (details)
  2. Fix getStateInvariant() method. (details)
Changes in dependency
  1. org.polarsys.chess.core Success #36 → Success #37 (detail)
  2. org.polarsys.chess.chessmlprofile Success #36 → Success #37 (detail)