Linea Prover v1.0.1-mrc1 的 bug 修复和维护，包括移除状态管理器请求版本和 CI 路径修正。