cleanup before merge

This commit is contained in:
Paul Gauthier 2024-08-16 11:35:30 -07:00
parent d3e37c9e36
commit b61b5f4b74
3 changed files with 4 additions and 5 deletions

View file

@ -565,7 +565,7 @@ def run_test_real(
use_git=False,
stream=False,
verbose=verbose,
auto_lint=False,
# auto_lint=False, # disabled for code-in-json experiments
)
coder.max_apply_update_errors = max_apply_update_errors