diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-09-06 12:54:17 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-09-06 12:54:17 +0000 |
| commit | 1cf778904d597a5bc01a4b7862f965681636faf1 (patch) | |
| tree | 2bfb428c0540af04bdb8130a064feb554b7dcff3 /embassy-executor/src/lib.rs | |
| parent | ca3d091faf3ef76ea45f88eea5c2a6700378daff (diff) | |
| parent | 1443f3386b3b216dc50306d14f5dacce29b2bf97 (diff) | |
Merge pull request #3316 from Ddystopia/main
fix: nightly api changed during the night
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)] |