Fix CI

esp-rs · Oct 5, 2023 · 44946d7 · 44946d7
1 parent 796fcee
commit 44946d7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/interrupt.rs b/src/interrupt.rs
@@ -454,7 +454,10 @@ pub mod asynch {
 
                         if !task.is_null() {
                             unsafe {
-                                crate::task::notify_and_yield(task as _, 1);
+                                crate::task::notify_and_yield(
+                                    task as _,
+                                    NonZeroU32::new(1).unwrap(),
+                                );
                             }
                         }
                     })