from machine import Pin
from time import sleep

green = Pin(1, Pin.OUT)
yellow = Pin(2, Pin.OUT)
red = Pin(9, Pin.OUT)

leds = [green, yellow, red]

while True:
    for led in leds:
        led.on()
        sleep(0.5)
        led.off()
        sleep(0.2)