Re: [github] Retriggering CI tests

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.