summaryrefslogtreecommitdiff
path: root/Jenkinsfile
AgeCommit message (Expand)Author
2022-10-01add Jenkinsfile to enable separate CI for pull requestsAndrew Dolgov