from machine import Pin
import time

button = Pin(14, Pin.IN, Pin.PULL_UP)
red= Pin(8, Pin.OUT)
yellow = Pin(9, Pin.OUT)
green = Pin(7, Pin.OUT)
while True:
    if button.value() == 0:
        red.value(1)
    else:
        red.value(1)
        time.sleep(1)
        red.value(0)
        time.sleep(1)
        yellow.value(1)
        time.sleep(1)
        yellow.value(0)
        green.value(1)
        time.sleep(1)
        green.value(0)
        time.sleep(1)