This is just to trigger the GitHub scheduled actions registration
It is needed for #22314 and I will revert it right away afterwards. Sorry for the trouble. See the answer in https://stackoverflow.com/questions/59560214/github-action-works-on-push-but-not-scheduled
Please register or sign in to comment