push button interfacing - Wokwi ESP32, STM32, Arduino Simulator

from machine import Pin
import time
ledPin=Pin(32,Pin.OUT)
buttonPin=Pin(25,Pin.IN,Pin.PULL_UP)
while True:
    buttonState=buttonPin.value()
    if buttonState==0:
        ledPin.value(1)
    else:
        ledPin.value(0)
    time.sleep(0.01)