fix: pin nightly_detect_failure checkout to the tested SHA#214

kim-em wants to merge 1 commit into

nightly-testingleanprover-community/mathlib4-nightly-testing:nightly-testingfrom

fix/nightly-tag-race-conditionleanprover-community/mathlib4-nightly-testing:fix/nightly-tag-race-conditionCopy head branch name to clipboard