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.