CircleCI: Fix check for git push retry limit.

Authored by DavidEichmann on Dec 19 2018, 10:46 AM.

Description

CircleCI: Fix check for git push retry limit.

Test Plan: Observe CircleCI

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, carter

Differential Revision: https://phabricator.haskell.org/D5464

Details

Committed
bgamariDec 21 2018, 3:52 PM
Reviewer
bgamari
Differential Revision
D5464: CircleCI: Fix check for git push retry limit.
Parents
rGHC4147df3a83e9: gitlab-ci: Allow Hadrian build on Windows to fail
Branches
Unknown
Tags
Unknown