@yoctopuce FYI

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.38%. Comparing base (8b3439e) to head (6a4306a).
Report is 1 commits behind head on master.

@@           Coverage Diff           @@
##           master   #17751   +/-   ##
=======================================
  Coverage   98.38%   98.38%           
=======================================
  Files         171      171           
  Lines       22238    22238           
=======================================
  Hits        21879    21879           
  Misses        359      359           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Code size report:

   bare-arm:    +0 +0.000% 
minimal x86:    +0 +0.000% 
   unix x64:    +0 +0.000% standard
      stm32:    +0 +0.000% PYBV10
     mimxrt:    +0 +0.000% TEENSY40
        rp2:    +0 +0.000% RPI_PICO_W
       samd:    +0 +0.000% ADAFRUIT_ITSYBITSY_M4_EXPRESS
  qemu rv32:    +0 +0.000% VIRT_RV32

@yoctopuce FYI

Makes sense. I see that <time.h> was included directly in the .c files present in ports/unix, hence the fact that the error did not come out earlier on Linux/windows builds.

I'm not sure if there's any better place to put this. But since typedef time_t mp_timestamp_t; is in py/mpconfig.h it seems prudent to put <time.h> in mpconfigport.h.

I agree, and it shouldn't hurt since this is port specific.

Ah, this was probably due to 9b7d852 which included mpconfig.h in mbedtls_config_common.h.