a0655cf Revert "Use Jenkinsfile from PR for pre-merge CI builds"

Authored and Committed by gnaponie 5 years ago
    Revert "Use Jenkinsfile from PR for pre-merge CI builds"
    
    This reverts commit 5fefc0a840d5d451d6a310234b7756bf0d25cbb2.