Boost :

Date view	Thread view	Subject view	Author view

From: Peter Dimov (pdimov_at_[hidden])
Date: 2020-05-08 19:18:45

Next message: Andrey Semashev: "Re: [github] Retriggering CI tests"
Previous message: Edward Diener: "[github] Retriggering CI tests"
In reply to: Edward Diener: "[github] Retriggering CI tests"
Next in thread: Edward Diener: "Re: [github] Retriggering CI tests"
Reply: Edward Diener: "Re: [github] Retriggering CI tests"

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.

Next message: Andrey Semashev: "Re: [github] Retriggering CI tests"
Previous message: Edward Diener: "[github] Retriggering CI tests"
In reply to: Edward Diener: "[github] Retriggering CI tests"
Next in thread: Edward Diener: "Re: [github] Retriggering CI tests"
Reply: Edward Diener: "Re: [github] Retriggering CI tests"

Date view	Thread view	Subject view	Author view

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk