Skip to content
Started 1 yr 11 mo ago
Took 1.8 sec on centos-7-8zh78
Success

#44 (Jul 1, 2022, 4:34:45 AM)

Changes
  1. Implement method on SMAbstractClass, update oracles. (details)
Changes in dependency
  1. org.polarsys.chess.core Success #43Success #44 (detail)
  2. org.polarsys.chess.chessmlprofile Success #43Success #44 (detail)
  3. org.polarsys.chess.contracts.profile Success #43Success #44 (detail)