Merge branch 'dev' of github.com:lean-dojo/LeanDojo into dev

Author: yangky11

pyproject.toml

@@ -12,7 +12,11 @@ exclude = [
 
 [project]
 name = "lean-dojo"
+<<<<<<< HEAD
 version = "4.19.0"
+=======
+version = "2.1.3"
+>>>>>>> 9f4d398c17fe6cb46ebc9906c8a06e7eff643ea0
 authors = [
   { name="Kaiyu Yang", email="kaiyuy@meta.com" },
 ]

src/lean_dojo/interaction/dojo.py

@@ -282,7 +282,6 @@ def __enter__(self) -> Tuple["Dojo", State]:
 
         assert res["error"] is None
 
-        # logger.debug(f"Response: {res}")
         if self.uses_tactics:
             assert res["tacticState"] != "no goals"
             init_state: State = TacticState(
@@ -470,6 +469,7 @@ def _submit_request(self, req: str) -> Dict[str, Any]:
             raise DojoCrashError(f"Invalid JSON: {res}")
 
         result["message"] = msg
+        logger.debug(result)
         return result
 
     def _check_alive(self) -> None: