Redeploy after fixing micro:bit v2 build issue on server