from time import ticks_us, ticks_ms
from machine import Pin

Button = Pin(15, Pin.IN, Pin.PULL_UP)
while(1):
    while(Button.value() == 1):
        pass
    x0 = ticks_us()
    while(Button.value() == 0):
        pass
    x1 = ticks_us()
    print(x1-x0)