From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2020-05-08 19:45:25
On Fri, 8 May 2020, 21:30 Andrey Semashev via Boost, <boost_at_[hidden]>
> 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
Mateusz Loskot, mateusz_at_[hidden]
(Sent from mobile, may suffer from top-posting)
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk