ci: retry fetching test metrics

Magnusrequested to merge
wip/mangoiv/retry-fetching into master

Changes contained in this patch

MR Checklist

  • This MR solves the problem described in the following issue: #27458
  • A changelog entry was added in changelog.d/ for user-facing changes (see changelog guide). /label no-changelog If this MR does not need a changelog entry, the no-changelog label was applied.
  • This MR does not make any significant changes to base, or it has an accompanying CLC proposal.
  • If this MR has the potential to break user programs, the user-facing label was applied to test against head.hackage.
  • All commits are either individually buildable or squashed.
  • Commit messages describe what they do, referring to tickets using #NNNNN syntax.
  • Source comments describing the change were added. For larger changes notes and cross-references from the relevant places were added (as applicable).
  • Testcases to the testsuite were added (as applicable).
  • The users guide was updated (as applicable).

Merge request reports