Update main.rs

This commit is contained in:
Victor LEFEBVRE 2025-02-05 00:16:10 +01:00 committed by GitHub
parent a2014c961d
commit 26c6ab7587
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -161,6 +161,7 @@ pub fn run(args: TokenStream, item: TokenStream, arch: &Arch) -> TokenStream {
let result = quote! { let result = quote! {
#[::embassy_executor::task()] #[::embassy_executor::task()]
#[allow(clippy::future_not_send)]
async fn __embassy_main(#fargs) #out { async fn __embassy_main(#fargs) #out {
#f_body #f_body
} }