diff --git a/Jenkinsfile b/Jenkinsfile index a349175..8cdce83 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,3 +1,5 @@ +// for arm building: https://resin.io/blog/building-arm-containers-on-any-x86-machine-even-dockerhub/ + pipeline { options { buildDiscarder(logRotator(numToKeepStr: '10'))