jenkins-file #15

Merged

bucky merged 25 commits from jenkins-file into master

2023-10-06 20:49:12 -07:00

1 changed files with 1 additions and 0 deletions

Showing only changes of commit b70b0846a1 - Show all commits

Jenkinsfile

Vendored

View File

@@ -8,3 +8,4 @@ pipeline {
       }
     }
   }
 }