diff options
| author | Badr Bouslikhin <[email protected]> | 2024-09-06 18:37:30 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-09-06 18:37:30 +0200 |
| commit | 55f41da66c1b6ed9ef4aea8e91977d6ab46c3523 (patch) | |
| tree | 1765ed2ccd6c699d482a71be03b99c4b32b1cb22 /embassy-executor/src/lib.rs | |
| parent | f6d92b76111d8619c92b13aa28e765abe356465c (diff) | |
| parent | 1cf778904d597a5bc01a4b7862f965681636faf1 (diff) | |
Merge branch 'embassy-rs:main' into main
Diffstat (limited to 'embassy-executor/src/lib.rs')
| -rw-r--r-- | embassy-executor/src/lib.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/embassy-executor/src/lib.rs b/embassy-executor/src/lib.rs index 553ed76d3..6a2e493a2 100644 --- a/embassy-executor/src/lib.rs +++ b/embassy-executor/src/lib.rs | |||
| @@ -1,5 +1,4 @@ | |||
| 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 | #![cfg_attr(feature = "nightly", feature(waker_getters))] | ||
| 3 | #![allow(clippy::new_without_default)] | 2 | #![allow(clippy::new_without_default)] |
| 4 | #![doc = include_str!("../README.md")] | 3 | #![doc = include_str!("../README.md")] |
| 5 | #![warn(missing_docs)] | 4 | #![warn(missing_docs)] |