From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 30 Oct 2020 20:04:24 +0000 (-0700)
Subject: Merge branch 'js/ci-ghwf-dedup-tests'
X-Git-Url: https://www.git.kevux.org/?a=commitdiff_plain;h=876511ef6146338fa2ac94e21f122610b60ab78d;p=rit

Merge branch 'js/ci-ghwf-dedup-tests'

GitHub Actions automated test improvement to skip tests on a tree
identical to what has already been tested.

* js/ci-ghwf-dedup-tests:
  ci: make the "skip-if-redundant" check more defensive
  ci: work around old records of GitHub runs
---

876511ef6146338fa2ac94e21f122610b60ab78d