An error occurred while fetching the assigned milestone of the selected merge_request.
funtion timer_get_tics returns uint32_t
A minor typedef issue which I found while debugging... On a 32-bit RISC-V int and uint32_t are the same but the latter explicitly defines a 32 bit integer.