#define pir 2
#define led 3
#include <Servo.h>
Servo myservo;
void setup()
{
  pinMode(pir, INPUT);
  pinMode(led,OUTPUT);
  myservo.attach(1);
  Serial.begin(9600);
}

void loop()
{
  int val=digitalRead(pir);
  Serial.println(val);
  if(val==HIGH){
    digitalWrite(led,HIGH);
    myservo.write(70);
  }
  else{
    digitalWrite(led,LOW);
    myservo.write(10);
  }
  delay(10);
}
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT
pico:GP0
pico:GP1
pico:GND.1
pico:GP2
pico:GP3
pico:GP4
pico:GP5
pico:GND.2
pico:GP6
pico:GP7
pico:GP8
pico:GP9
pico:GND.3
pico:GP10
pico:GP11
pico:GP12
pico:GP13
pico:GND.4
pico:GP14
pico:GP15
pico:GP16
pico:GP17
pico:GND.5
pico:GP18
pico:GP19
pico:GP20
pico:GP21
pico:GND.6
pico:GP22
pico:RUN
pico:GP26
pico:GP27
pico:GND.7
pico:GP28
pico:ADC_VREF
pico:3V3
pico:3V3_EN
pico:GND.8
pico:VSYS
pico:VBUS
pir1:VCC
pir1:OUT
pir1:GND
led1:A
led1:C
servo1:GND
servo1:V+
servo1:PWM