QUERY · ISSUE
machine.Pin doesn't have a pin() method on the ESP32 port
enhancementport-esp32
As reported in the Slack channel, the ESP32 port lacks a method to retrieve the pin number.
(It's possible to print the pin object but this is fragile and requires that the number be parsed from the string.)
The nRF and stm32 ports both have a pin() method on a Pin; the same should exist for the ESP32.
CANDIDATE · ISSUE
ESP32 port missing "hard" kwarg in pin.irq()
enhancementport-esp32
The ESP8266 has hard keyword argument in pin.irq() function. This is missing in ESP32 port.
See also: https://forum.micropython.org/viewtopic.php?p=30748#p30745