Merge #314

314: do not optimize build deps r=korken89 a=japaric

this may make CI faster

Co-authored-by: Jorge Aparicio <jorge@japaric.io>

1 files changed, 1 insertions, 0 deletions

diff --git a/src/lib.rs b/src/lib.rs
index 614ba85..98dd615 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -164,6 +164,7 @@ pub trait Monotonic {
 /// A marker trait that indicates that it is correct to use this type in multi-core context
 pub trait MultiCore {}
 
+
 /// Sets the given `interrupt` as pending
 ///
 /// This is a convenience function around