ci: use .txt files instead of .log file for better preview

2022-10-28 13:21:27 +08:00
parent 57f6733160
commit 7bb4aea90e
7 changed files with 17 additions and 16 deletions
@@ -77,7 +77,7 @@ def test_monitor_ide_integration(config: str, dut: Dut) -> None:
    monitor_cmd = ' '.join([sys.executable, monitor_py, os.path.join(dut.app.binary_path, 'panic.elf'),
                            '--port', str(dut.serial.port),
                            '--ws', f'ws://{WebSocketServer.HOST}:{WebSocketServer.PORT}'])
-    monitor_log_path = os.path.join(dut.logdir, 'monitor.log')
+    monitor_log_path = os.path.join(dut.logdir, 'monitor.txt')

    with open(monitor_log_path, 'w') as log, WebSocketServer(), pexpect.spawn(monitor_cmd,
                                                                              logfile=log,