Re: sched_lock() should be completely removed

2023-04-22 Thread Gregory Nutt
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. 

Re: How ro re-trigger CI workflow?

2023-04-22 Thread Lee, Lup Yuen
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

Re: How ro re-trigger CI workflow?

2023-04-22 Thread Jukka Laitinen
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

RE: How ro re-trigger CI workflow?

2023-04-22 Thread David Sidrane
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