From: Peter Dimov (pdimov_at_[hidden])
Date: 2020-05-08 19:18:45
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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk