Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 2 mo ago
Took 8.4 sec
Success

#153 (Feb 11, 2023, 8:09:11 AM)

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)