Re: [PATCH 2/2] ci: make the "skip-if-redundant" check more defensive

"Johannes Schindelin via GitGitGadget" [off-list ref]
writes:

Let's be even more defensive by catching all kinds of exceptions,
logging them as warnings, and continue the run without skipping it
(after all, if the check fails, we _want_ to continue with the run).

Yeah, looks sensible.