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: Apr 16 2025 at 19:03 UTC