from machine import Pin
import time

button = Pin(14,Pin.IN,Pin.PULL_DOWN)

led = Pin(12,Pin.OUT)

def irq_handler(button):
    time.sleep_ms(10)
    if button.value() == 1:
        led.value(not led.value())

button.irq(irq_handler,Pin.IRQ_RISING)