Boost logo

Boost :

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.

Boost list run by bdawes at, gregod at, cpdaniel at, john at