andrey/raspberry-pi-pico-docker-sdk
1
0
Fork 1
mirror of https://github.com/lukstep/raspberry-pi-pico-docker-sdk.git synced 2025-12-23 11:05:55 +03:00
Code Issues Packages Projects Releases Wiki Activity

add Jenkinsfile

Browse Source
This commit is contained in:
Бычков Андрей
2024-02-04 21:42:25 +03:00
parent 3d8b06e9b7
commit 9d57df6c8b
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
Jenkinsfile vendored Normal file
View File

@@ -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'
}
}