Commit Graph

2 Commits

Author SHA1 Message Date
Thomas J. Fan 12f1521f1e
CI Fixes CI sync (#18695) 2020-10-28 08:48:35 +01:00
Thomas J. Fan 2286904ced
CI Uses "ci sync" label to sync pull request (#18574)
* CI Uses label to sync pull request

* DOC Adjust wording

* MNT Early exit
2020-10-09 09:41:42 +02:00