from machine import pin
import time
green_light = Pin(2, PIN.OUT)
yellow_light = Pin(7, PIN.OUT)
red_light = Pin(12, PIN.OUT)
while true: 
    pass
    green_light.toggle()