Can you suggest what might be wrong. Red + green pedestrian lights not working. Traffic lights work OK. I’ve checked wiring and even changed Arduino Boards. I uploaded the program from the raw form so this should also be OK.
With what you’ve described, it is very difficult to find out what can be wrong.
The only thing I think about is the wiring.
Can you change the pedestrian lights to other pins and see if they work?