diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..3cf4a8d --- /dev/null +++ b/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' + } +}