Re: [boost] [github] Retriggering CI tests

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.