On 31-12-2020 00:59, Roar Brænden wrote:
Is there a way to restart the check without making a new commit?
there is, but some are limited to committers;
1. on the checks page of the PR, when you got to the failing job (or the
"details" link in the PR checks) there's a button "Re-run jobs"
2. you can close/reopen the PR, which wil trigger all checks
HTH
_______________________________________________
GeoTools-Devel mailing list
GeoTools-Devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/geotools-devel
