Skip to content
[Jenkins]Jenkins
log in
Success

#82 (May 28, 2024, 12:53:12 PM)

Started 3 mo 24 days ago
Took 18 sec
Build Artifacts
gaming-gui-1.0.2-SNAPSHOT-sources.jar27.42 KiB view
gaming-gui-1.0.2-SNAPSHOT.jar44.78 KiB view
gaming-gui-1.0.2-SNAPSHOT.pom2.91 KiB view
Changes
  1. gaming: PMD deactivated for now (it does not work well with Eclipse anymore) (details)
  2. build: plug-ins and dependencies updated (details)
Changes in dependency
  1. Gaming Core #81 → #82 (detail)
  2. Gaming #78 → #82 (detail)