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>.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk