from machine import Pin
from utime import sleep

button=Pin(25,Pin.IN)
LedRed=Pin(32, Pin.OUT)
while True:
    button_state=button.value()
    if button_state==1:
        LedRed.on()
        sleep(0.5)
    elif button_state==0:   
        LedRed.off()
        sleep(0.5)