Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Jenkinsfile: init adding Jenkinsfile (tikv#1835)
* Jenkinsfile: init adding Jenkinsfile * Jenkinsfile: fix slack channel name from tikv to kv * Jenkinsfile: take ci pipeline scripts extern
- Loading branch information