Update pico sdk to 2.1.1

Dockerfile

@@ -15,14 +15,14 @@ RUN apk update && \
 
 # Raspberry Pi Pico SDK
 ARG SDK_PATH=/usr/share/pico_sdk
-RUN git clone --depth 1 --branch 1.5.1 https://github.com/raspberrypi/pico-sdk $SDK_PATH && \
+RUN git clone --depth 1 --branch 2.1.1 --single-branch https://github.com/raspberrypi/pico-sdk $SDK_PATH && \
     cd $SDK_PATH && \
     git submodule update --init
 
 ENV PICO_SDK_PATH=$SDK_PATH
 
 # Picotool installation
-RUN git clone --depth 1 --branch 1.1.2 https://github.com/raspberrypi/picotool.git /home/picotool && \
+RUN git clone --depth 1 --branch 2.1.1 --single-branch https://github.com/raspberrypi/picotool.git /home/picotool && \
     cd /home/picotool && \
     mkdir build && \
     cd build && \

Jenkinsfile

@@ -0,0 +1,13 @@
+node {
+	stage("Download SRC") {
+		 checkout scm
+	}
+	
+	stage("Docker build") {
+		docker.build("${env.DOCKER_PREFIX}/picosdk", ".")
+	}
+	
+	stage("docker prune") {
+		sh 'docker system prune -f'
+	}
+}