Skip to content
Jenkins
log in
Dashboard
Public
BuildTools
BuildTools
#153
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Previous Build
Next Build
Success
#153 (Feb 11, 2023, 8:09:11 AM)
Started 1 yr 10 mo ago
Took
8.4 sec
Changes
#47: Add option to build pull requests via BuildTools (
details
)
#47: Don't apply patches to spigot if we don't build it (
details
)