Re: [github] Retriggering CI tests

From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2020-05-08 20:00:30

On 2020-05-08 22:45, Mateusz Loskot via Boost wrote:
> On Fri, 8 May 2020, 21:30 Andrey Semashev via Boost, <boost_at_[hidden]>
> wrote:
> 
>> On 2020-05-08 21:17, Edward Diener via Boost wrote:
>>> How does one retrigger CI testing for a PR on Github without having to
>>> artificially update the PR ? I tried to find the answer to this in
>>> Github Help with no success. Maybe you have to retrigger tests within
>>> the testing environment somehow but I could not see how in either
>>> Appveyor or Travis CI.
>>
>> For Travis, you can restart the build jobs from Travis web UI.
> 
> Hmm, do you mean no push permissions needed to be able to cancel Travis
> job?

Hmm, it seems you do need push permissions to restart Travis jobs. I 
thought all members of boostorg could do that.

In that case altering the PR somehow seems to be the only way.