leka / LekaOS

LekaOS is Leka's firmware based on Mbed OS
https://leka.io
Apache License 2.0
14 stars 8 forks source link

🔧 (GCC): Remove GCC 13 #1341

Closed YannLocatelli closed 9 months ago

codecov[bot] commented 9 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (4ad27a0) 98.66% compared to head (18eb981) 98.66%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## develop #1341 +/- ## ======================================== Coverage 98.66% 98.66% ======================================== Files 145 145 Lines 3740 3740 ======================================== Hits 3690 3690 Misses 50 50 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

YannLocatelli commented 9 months ago

See #1342