fix run log filename suffix

We're about to make HTML logs, to .html is the right suffix, not .txt.

Also drop a commented-out log message.

Signed-off-by: Lars Wirzenius <liw@liw.fi>

1 files changed, 1 insertions, 2 deletions

diff --git a/src/bin/radicle-native-ci.rs b/src/bin/radicle-native-ci.rs
index 9bd12d6..3c91c1b 100644
--- a/src/bin/radicle-native-ci.rs
+++ b/src/bin/radicle-native-ci.rs
@@ -86,12 +86,11 @@ fn fallible_main_inner(
     logfile.writeln(&format!("run directory {}", run_dir.display()))?;
 
     let src = run_dir.join("src");
-    let run_log = run_dir.join("log.txt");
+    let run_log = run_dir.join("log.html");
     let run_info_file = run_dir.join("run.yaml");
 
     let profile = Profile::load().map_err(NativeError::LoadProfile)?;
     let storage = profile.storage.path();
-    // logfile.write(format!("profile: {:#?}\n", profile))?;
 
     let req = read_request()?;
     logfile.writeln(&format!("request: {:#?}", req))?;