diff options
author | iximeow <me@iximeow.net> | 2023-06-28 23:30:35 -0700 |
---|---|---|
committer | iximeow <me@iximeow.net> | 2023-06-28 23:30:35 -0700 |
commit | 27cdad3802138099749d927fb17283d2d713701a (patch) | |
tree | 277db36eb4778e174c671e1ce7934a1752f1679e | |
parent | 9899404661cb7ee9181a2354e8ed72e5e9185192 (diff) |
repo name on job page links back to repo summary
-rw-r--r-- | src/main.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index c1d9664..5713d08 100644 --- a/src/main.rs +++ b/src/main.rs @@ -437,6 +437,7 @@ async fn handle_commit_status(Path(path): Path<(String, String, String)>, State( let deployed = false; let head = format!("<head><title>ci.butactuallyin.space - {}</title></head>", repo_name); + let repo_html = format!("<a href=\"/{}\">{}</a>", &repo_name, &repo_name); let remote_commit_elem = format!("<a href=\"https://www.github.com/{}/commit/{}\">{}</a>", &remote_path, &sha, &sha); let status_elem = match state { JobState::Pending | JobState::Started => { @@ -505,7 +506,7 @@ async fn handle_commit_status(Path(path): Path<(String, String, String)>, State( html.push_str(&format!(" {}\n", head)); html.push_str(" <body>\n"); html.push_str(" <pre>\n"); - html.push_str(&format!("repo: {}\n", repo_name)); + html.push_str(&format!("repo: {}\n", repo_html)); html.push_str(&format!("commit: {}\n", remote_commit_elem)); html.push_str(&format!("status: {}\n", status_elem)); if let Some(desc) = result_desc { |