fe3d137ce
Turns out the issue that led me to push a broken commit in the first place also caused the build to succeed when I tested the fix in a rush. I should've just used the GitHub merge button. Sorry for the noise, hopefully won't happen again.