Boost logo

Boost :

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, gregod at, cpdaniel at, john at