diff options
fix(zkvms/zkm): Downgrade host toolchain
The newest toolchain causes errors, an issue has been filed upstream:
https://github.com/zkMIPS/toolchain/issues/4
However, it is not certain when it will be resolved, so for now this
workaround will be used.
0 files changed, 0 insertions, 0 deletions
