# harbor-arm-build Jenkins pipeline: build arm images and push to Harbor.