Re: [github] Retriggering CI tests

From: Edward Diener (eldiener_at_[hidden])
Date: 2020-05-08 21:12:49

On 5/8/2020 3:18 PM, Peter Dimov via Boost wrote:
> Edward Diener wrote:
> 
>> How does one retrigger CI testing for a PR on Github without having to 
>> artificially update the PR?
> 
> Close the PR, then reopen it.

Not the answer I expected, but if it works it is a brilliant solution. I 
assume since it comes from Peter that it works. Now why did not I think 
of trying that <g>.