diff --git a/pageserver/src/tenant/mgr.rs b/pageserver/src/tenant/mgr.rs index b3fea5607d1c5..9c8d86d5f6698 100644 --- a/pageserver/src/tenant/mgr.rs +++ b/pageserver/src/tenant/mgr.rs @@ -278,6 +278,7 @@ pub async fn init_tenant_mgr( Ok(()) } +#[allow(clippy::too_many_arguments)] pub(crate) fn schedule_local_tenant_processing( conf: &'static PageServerConf, tenant_id: TenantId,