drop duplicate progress reportingHEADmain

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

1 files changed, 0 insertions, 2 deletions

diff --git a/src/main.rs b/src/main.rs
index 7549c93..cdba3b5 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -93,8 +93,6 @@ fn report_finished(ci: CiState) {
             info!("CI run finished: {}", url);
             if let Err(e) = reqwest::blocking::get(&url) {
                 info!("FAILED to report CI run finished: {}", e);
-            } else {
-                info!("reported that CI run finished: {}", url);
             }
             reported += 1;
         }