(#11468) [config] Remove old jenkinsfile and start using new configuration

* [config] Remove old jenkinsfile and start using new configuration

* try something
This commit is contained in:
Daniel
2022-08-24 12:15:45 +02:00
committed by GitHub
parent 013224b2ed
commit 0be75038ce
2 changed files with 1 additions and 4 deletions

View File

@@ -71,4 +71,4 @@ reviewers:
request_reviews: true
- user: "franramirez688"
type: "team"
request_reviews: false
request_reviews: true