raspberry-pi-pico-docker-sdk/Jenkinsfile

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