foo

tianon · tianon · commit cc4a7c1916e3 · 2025-02-27T14:49:31.000-08:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,9 @@
 properties([
 	buildDiscarder(logRotator(daysToKeepStr: '14')),
 	disableConcurrentBuilds(),
+	pipelineTriggers([
+		githubPush(),
+	]),
 ])
 
 node {
