Closed RICCIARDI-Adrien closed 8 months ago
Yes. The Teensy port is broken and has been for quite some time. I won't have time to deal with this for a long time. It's low priority.
I suggest removing the Teensy port from the workflow for now.
OK, let's postpone this. Do I close the Teensy-related tickets ?
No, let them. Otherwise, we risk forgetting that this port is to be revised. 😄
See #104