Close and reopen PR or rebase on master and force push the branch. The latter is preferable if the CI fix was on master
-----Original Message----- From: fft <f...@feedforward.com.cn> Sent: Saturday, April 22, 2023 4:25 AM To: dev <dev@nuttx.apache.org> Subject: How ro re-trigger CI workflow? Hello, Two weeks ago, i created a PR #8999 to fix an issue of mpu60x0 drivers in SPI mode, but the PR was hanged due to nuttx's CI broken. it seems that the nuttx's CI was fixed by #9036 recently, but i don't know how to re-trigger CI workflow of PR #8999, I checked Github webpage, there's no button to re-trigger CI workflow, I searched online and there no answer as well. anyone who can give me some suggestion? Best regards, Zou