Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 4 mo ago
Took 3.1 sec on centos-7-wjrwx

org.polarsys.chess.contracts.verificationService (Dec 21, 2022, 4:24:17 AM)

Build Artifacts
org.polarsys.chess.contracts.verificationService-1.0.0-SNAPSHOT-p2artifacts.xml624 B view
org.polarsys.chess.contracts.verificationService-1.0.0-SNAPSHOT-p2metadata.xml4.71 KB view
org.polarsys.chess.contracts.verificationService-1.0.0-SNAPSHOT.jar46.67 KB view
org.polarsys.chess.contracts.verificationService-1.0.0-SNAPSHOT.pom638 B view
Changes
  1. Add SM2py command. (details)
  2. Remove unused acceleo deps. (details)
  3. Handle context in nuxmv/xsap operations. (details)
Changes in dependency
  1. org.polarsys.chess.contracts.profile #8 → #9 (detail)
  2. org.polarsys.chess.core #8 → #9 (detail)
  3. org.polarsys.chess.service #8 → #9 (detail)
  4. org.polarsys.chess.chessmlprofile #8 → #9 (detail)
  5. org.polarsys.chess.smvExporter #8 → #9 (detail)