Closed
Description
In #4663 we started using this branch for CI and ./setup-toolchain.sh. Once there's a new release out, we should switch back to that again.
cc @lzutao
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests