Skip to content
Back to pull request #5809

[DO_NOT_MERGE] Update scripts so that they are compatible with bash and zsh. #1077

Sign in to view logs

[DO_NOT_MERGE] Update scripts so that they are compatible with bash and zsh.

[DO_NOT_MERGE] Update scripts so that they are compatible with bash and zsh. #1077

done

done
succeeded May 13, 2024 in 0s