Hi, A simple fix; just edit the topmost commit's commit message (simply do "git commit --amend"). There is always something that can be improved or altered.. Then force-push the branch again :)
A bit hackish, I admit, but unless the re-trigger has not been enabled for author, it is the best way. - Jukka fft kirjoitti lauantai 22. huhtikuuta 2023: > 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, > Zo