Added comment for CI

jc21 · jc21 · commit 2e7a912d548a · 2018-07-26T15:51:23.000+10:00
diff --git 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'))

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// for arm building: https://resin.io/blog/building-arm-containers-on-any-x86-machine-even-dockerhub/`
	`2`	`+`
`1`	`3`	`pipeline {`
`2`	`4`	`options {`
`3`	`5`	`buildDiscarder(logRotator(numToKeepStr: '10'))`