Improved logs (#2272)

This commit is contained in:
மனோஜ்குமார் பழனிச்சாமி 2024-06-05 17:54:40 +05:30 committed by GitHub
parent 69542c9999
commit ae815b20d2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -51,7 +51,9 @@ class SWEBenchSSHBox(DockerSSHBox):
assert exit_code == 0, f'Failed to set SWE_INSTANCE_ID in ~/.bashrc: {output}'
logger.info('Sourcing swe_entry.sh to set up environment variables')
# larger timeout for SWEBench init to account for long-running installations (e.g., require compilation)
logger.info(
'Initialization of SWEBench may take approximately 10 minutes due to long-running installations, such as those requiring compilation.'
)
exit_code, output = self.execute('source /swe_util/swe_entry.sh', timeout=600)
logger.info('exit code: %d', exit_code)
logger.info(output)