ci(nightly-testing): link the failing commit in the failure message - #939

ci(nightly-testing): link the failing commit in the failure message#939

SamuelSchlesinger merged 1 commit into

leanprover:mainleanprover/cslib:mainfrom

jessealama:ci/report-failures-head-shajessealama/cslib:ci/report-failures-head-shaCopy head branch name to clipboard