Thanks! I am a committer and am trying to rerun CI on a PR that I am reviewing (since one seems to have failed with timeout).
I am not familiar with GHA UI - what do I need to do here? Li On Mon, Apr 17, 2023 at 11:44 AM Jacob Wujciak <ja...@voltrondata.com.invalid> wrote: > Committers can re-run workflows via the GHA UI. If you want to avoid having > to add small changes to be able to commit you can use empty commits via > '--allow-empty'. > > On Mon, Apr 17, 2023 at 5:25 PM Li Jin <ice.xell...@gmail.com> wrote: > > > Hi, > > > > Is there a github command to rerun CI checks? (instead of pushing a new > > commit?) > > > > Thanks, > > Li > > >