diff options
| author | James Munns <[email protected]> | 2025-11-13 18:02:24 +0100 |
|---|---|---|
| committer | James Munns <[email protected]> | 2025-11-13 18:03:11 +0100 |
| commit | 306e55819656eeb41c69f2d5625c46419f0534c4 (patch) | |
| tree | b393b5104ae092ba5832543c028b190112397d03 /src/lib.rs | |
| parent | 357a538e8d5f69c8c0aeacfd416f1ad99b0907d3 (diff) | |
Manually fix clippy lints
Diffstat (limited to 'src/lib.rs')
| -rw-r--r-- | src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
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 @@ | |||
| 1 | #![no_std] | 1 | #![no_std] |
| 2 | // TODO(AJM): As of 2025-11-13, we need to do a pass to ensure safety docs | ||
| 3 | // are complete prior to release. | ||
| 4 | #![allow(clippy::missing_safety_doc)] | ||
| 2 | 5 | ||
| 3 | pub mod clocks; // still provide clock helpers | 6 | pub mod clocks; // still provide clock helpers |
| 4 | pub mod gpio; | 7 | pub mod gpio; |