Skip to content
[Jenkins]Jenkins
log in
Success

BuildTools (Feb 11, 2023, 8:09:11 AM)

Started 1 yr 9 mo ago
Took 8.4 sec
Changes
  1. #47: Add option to build pull requests via BuildTools (details)
  2. #47: Don't apply patches to spigot if we don't build it (details)