8 May
2020
8 May
'20
9:12 p.m.
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>.