Fix CI: Add missing include <mbed.h>

aentinger · aentinger · commit acaaae78a623 · 2021-09-23T07:35:43.000+02:00
diff --git a/src/Arduino_Threads.h b/src/Arduino_Threads.h
@@ -1,6 +1,7 @@
 #ifndef ARDUINO_THREADS_H_
 #define ARDUINO_THREADS_H_
 
+#include <mbed.h>
 #include <MemoryPool.h>
 
 #define SOURCE(name, type) \
