mirror of
https://github.com/micropython/micropython.git
synced 2026-01-08 13:10:21 +01:00
This allows the output of the extra-coverage tests to be checked using the normal run-tests script.
1.7 KiB
1.7 KiB