It seems that the last nightly does not work very well to compile mdbook (patched rev 5830c9555a4dc051675d17f1fcb04dd0920543e8) nor to compile halo2 (that is fixed to 1.60).
This PR fixes the toolchain to properly compile the tools for generating the documentation, because seems that cargo install uses the rust-toolchain.toml file by default. Also, having a fixed toolchain is not a bad idea to ensure proper generation of documentation IMO.
BTW, I had to remove [output.katex] since it was failing here because the received JSON was not an array of two elements. Anyway seems that html is properly generated. cc/ @HollowMan6
It seems that the last nightly does not work very well to compile mdbook (patched rev 5830c9555a4dc051675d17f1fcb04dd0920543e8) nor to compile halo2 (that is fixed to 1.60).
This PR fixes the toolchain to properly compile the tools for generating the documentation, because seems that
cargo installuses therust-toolchain.tomlfile by default. Also, having a fixed toolchain is not a bad idea to ensure proper generation of documentation IMO.BTW, I had to remove
[output.katex]since it was failing here because the received JSON was not an array of two elements. Anyway seems that html is properly generated. cc/ @HollowMan6