diff options
| author | chasingRs <[email protected]> | 2025-10-10 10:26:46 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-10-10 10:26:46 +0800 |
| commit | 944fda48a94c2d6cb6bea56c8c8471858d75da7d (patch) | |
| tree | 1e3e2f463c2440afe81ca37b2e161f85d0bfc374 /embassy-executor/src/lib.rs | |
| parent | 04171d903d3676d87aa0fd85719878d3087028f3 (diff) | |
| parent | 35b0ba4ce0fed7588febe504e16bbf1788384f5a (diff) | |
Merge branch 'embassy-rs:main' into fix/simple-pwm-32bit-timer-support
Diffstat (limited to 'embassy-executor/src/lib.rs')
| -rw-r--r-- | embassy-executor/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/embassy-executor/src/lib.rs b/embassy-executor/src/lib.rs index e47b8eb9f..cffc76699 100644 --- a/embassy-executor/src/lib.rs +++ b/embassy-executor/src/lib.rs | |||
| @@ -1,5 +1,6 @@ | |||
| 1 | #![cfg_attr(not(any(feature = "arch-std", feature = "arch-wasm")), no_std)] | 1 | #![cfg_attr(not(any(feature = "arch-std", feature = "arch-wasm")), no_std)] |
| 2 | #![allow(clippy::new_without_default)] | 2 | #![allow(clippy::new_without_default)] |
| 3 | #![allow(unsafe_op_in_unsafe_fn)] | ||
| 3 | #![doc = include_str!("../README.md")] | 4 | #![doc = include_str!("../README.md")] |
| 4 | #![warn(missing_docs)] | 5 | #![warn(missing_docs)] |
| 5 | 6 | ||