MOTOR QUE GIRA 90º Y SE ECIENDEN LED VERDE Y ROJO

FUNCIONAMIENTO
Al pulsar pulsar el interruptor de la placa el motor gira 90º y se enciende el led verde (la valla se abre).
Cuando se pulsa otra vez, el motor vuelve a los 0º y se enciende el led rojo (la valla se cierra).

CÓDIGO
#include <Servo.h>
Servo myservo;
const int buttonPin = 2;  
const int ledPin =  13;   //verde
const int ledPin2 =  12;   //rojo
int buttonState = 0;

void setup() {
  myservo.attach(9);
  pinMode(ledPin, OUTPUT);
  pinMode(ledPin2, OUTPUT);
  pinMode(buttonPin, INPUT);
}

void loop() {
  buttonState = digitalRead(buttonPin);
  if (buttonState == HIGH) {
    digitalWrite(ledPin, HIGH);
    digitalWrite(ledPin2, LOW);
    myservo.write(90);
  delay(100);
  }
 
  if (buttonState == LOW) {
    digitalWrite (ledPin2, HIGH);
    digitalWrite (ledPin, LOW);
    myservo.write (0);
    delay (1000);
  }
   
}

VÍDEO DE FUNCIONAMIENTO