From 306e55819656eeb41c69f2d5625c46419f0534c4 Mon Sep 17 00:00:00 2001 From: James Munns Date: Thu, 13 Nov 2025 18:02:24 +0100 Subject: Manually fix clippy lints --- src/lib.rs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/lib.rs') diff --git a/src/lib.rs b/src/lib.rs index fe27aadba..9899564d8 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,4 +1,7 @@ #![no_std] +// TODO(AJM): As of 2025-11-13, we need to do a pass to ensure safety docs +// are complete prior to release. +#![allow(clippy::missing_safety_doc)] pub mod clocks; // still provide clock helpers pub mod gpio; -- cgit