import time
from machine import Pin

button = Pin(14, Pin.IN, Pin.PULL_UP )
led= Pin(2, Pin.OUT)

def button_irq( button) :
    time.sleep_ms(80)
    if button. value( )== 1:
        led. value(not led.value () )

button. irq( button_irq, Pin.IRQ_RISING )