attempt to fix issues with jenkins build not triggering

mrwalter · mrwalter · commit 3f3dc462280e · 2023-03-22T21:30:02.000-05:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline {
   agent any
+  triggers {
+    githubPush()
+  }
   stages {
     stage('Update Base Image') {
       steps {
