Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[skip ci][ci] Fix Jenkinsfile (apache#12387)
This got out of date after merging apache#12178 Co-authored-by: driazati <[email protected]>
- Loading branch information