alexcrichton commented on issue #5258:
Indeed I don't think we can do this at this time since the script requires bash, not sh, but if that's updated then we can change the invocation here.
bash
sh
Last updated: Jan 10 2026 at 20:04 UTC