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
Sent: Saturday, April 22, 2023 4:25 AM
To: dev
Subject: How ro re-trigger CI workflow?
Hello,
Two weeks ago, i created a PR #8999 to fi
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 wa
Hi Zou: Usually I rebase my branch with the Master Branch to re-trigger the
CI Workflow...
https://lupyuen.github.io/articles/pr#submit-the-pull-request
Hope this helps :-)
Lup
On Sat, Apr 22, 2023 at 4:25 PM fft wrote:
> Hello,
>
>
> Two weeks ago, i created a PR #8999 to fix an issue of mpu
On 4/20/2023 7:01 PM, jun hu wrote:
Thank you for your reply and providing additional information.
Based on your suggestion, I believe a reasonable solution about
sched_lock should be step by step.
1 Add sched_lock()'s ability to the enter_critical_section()
I am not sure what this mean. Bu
