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: May 03 2026 at 22:13 UTC