from machine import Pin
import time

led = Pin(1, Pin.OUT)
button = Pin(12, Pin.IN, Pin.PULL_DOWN)

# Main loop
while True:
    if button.value() == 1:
        led.toggle()
        time.sleep(0.5)