A new build server is running, and I completely reworked the automated build script. The latest auto builds use the Pico SDK 2.0, and include firmware for Bus Pirate 5 (rev8 & rev10), 5XL, and 6.
The python build script is clean enough I posted it in the forum, along with updated build server install instructions.