That’s normal, because it is an ino file. Only the Arduino IDE will automatically add it. But this often leads to confusion.
The example is not 100% correct.
This works:
static uint32_t my_tick_get_cb(void) {
return millis();
}
void setup() {
...
lv_tick_set_cb(my_tick_get_cb);
...
}