diff --git a/src/web.rs b/src/web.rs index 14eee79..0866c46 100644 --- a/src/web.rs +++ b/src/web.rs @@ -52,7 +52,7 @@ async fn web_build(State(state): State, Query(query): Query, version: &'static str, status: Status, - } + } match state .db @@ -140,11 +140,9 @@ async fn web_target(State(state): State, Query(query): Query>(); builds.sort_by_cached_key(|build| Reverse(build.0.clone())); @@ -216,11 +214,9 @@ async fn web_nightly(State(state): State, Query(query): Query>(); builds.sort_by_cached_key(|build| build.0.clone()); @@ -324,3 +320,10 @@ impl BuildInfo { ) } } + +fn filter_build(filter_failures: bool, build: &Option) -> bool { + !filter_failures + || build + .as_ref() + .is_some_and(|build| build.status == Status::Error) +}