From: Edward Diener (eldiener_at_[hidden])
Date: 2020-05-08 18:17:37
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.