Update Jenkins configuration

io7m · io7m · commit a7bbf2dea44f · 2021-01-17T09:33:23.000Z
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule ".jenkins"]
+	path = .jenkins
+	url = https://www.github.com/io7m/jenkinsfiles
diff --git a/.jenkins b/.jenkins
@@ -0,0 +1 @@
+Subproject commit f053f468bd7ca0492355eebc15229b673484d7d9
diff --git a/.jenkins_pipeline b/.jenkins_pipeline

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+[submodule ".jenkins"]`
	`2`	`+ path = .jenkins`
	`3`	`+ url = https://www.github.com/io7m/jenkinsfiles`