Show last sync times

Author: lpil

src/packages/storage.gleam

@@ -643,6 +643,8 @@ pub fn year_internet_points(
 
 pub type InternetPoints {
   InternetPoints(
+    last_partial_sync: Timestamp,
+    last_full_sync: Timestamp,
     total_downloads: Int,
     package_counts: List(#(String, Int)),
     release_counts: List(#(String, Int)),
@@ -717,7 +719,12 @@ pub fn internet_points(database: Database) -> Result(InternetPoints, Error) {
     }),
   )
 
+  use last_partial_sync <- result.try(get_hex_sync_time(database, PartialSync))
+  use last_full_sync <- result.try(get_hex_sync_time(database, FullSync))
+
   Ok(InternetPoints(
+    last_full_sync:,
+    last_partial_sync:,
     total_downloads: acc.total_downloads,
     package_counts: acc.package_counts
       |> dict.to_list

src/packages/web/page.gleam

@@ -59,6 +59,10 @@ pub fn year_internet_points(
 
 pub fn internet_points(stats: storage.InternetPoints) -> String {
   html.div([], [
+    html.h2([], [html.text("Last partial sync")]),
+    html.text(format_date(stats.last_partial_sync)),
+    html.h2([], [html.text("Last full sync")]),
+    html.text(format_date(stats.last_full_sync)),
     html.h2([], [html.text("Total downloads")]),
     html.text(pretty_int(stats.total_downloads)),
     html.h2([], [html.text("Packages total downloads")]),