Skip to content
[Jenkins]Jenkins
log in
Success

#6734 (Mar 30, 2023, 11:13:39 PM)

Started 1 yr 3 mo ago
Took 52 sec
Build Artifacts
denizen-1.2.7-SNAPSHOT.jar3.12 MiB view
denizen-1.2.7-SNAPSHOT.pom3.96 KiB view
Changes
  1. `Instrument` property for goat horns (#2449) (commit: 597aff5) (details)