When setting the level of the LED in pwm_set_gpio_level, it always goes to the maximum intensity (duty cycle at 100%). I suspect that pwm_set_gpio_level should receive (char*) instead of (uint8_t) because changing the type in main.c on the RP2040 fixes the issue for me.
For example, I use the command:
i2cset -y 1 0x30 0 0xC0
It's the same behavior using the "pio run led_intensity --A 75" command.
Let me know if I'm doing something wrong.
Thanks!