diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-11-12 14:11:05 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-11-12 14:12:36 -0500 |
| commit | 0f2ac24c26fb951cc81100085c7773906a241523 (patch) | |
| tree | 2d0e5c745cf7d999928bdc2cce51697d4b8278a6 /.circleci | |
| parent | 89bf7d546a209bb3decc5b677fce18dd5cf79478 (diff) | |
| download | haskell-0f2ac24c26fb951cc81100085c7773906a241523.tar.gz | |
circleci: Disable pushing of test metrics if not validating upstream
Diffstat (limited to '.circleci')
| -rwxr-xr-x | .circleci/push-test-metrics.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.circleci/push-test-metrics.sh b/.circleci/push-test-metrics.sh index 4ea6958d99..d8222b7820 100755 --- a/.circleci/push-test-metrics.sh +++ b/.circleci/push-test-metrics.sh @@ -7,6 +7,10 @@ fail() { exit 1 } +if [ "$CIRCLE_REPOSITORY_URL" != "git@github.com:ghc/ghc.git" ]; then + exit 0 +fi + GHC_ORIGIN=git@git.haskell.org:ghc # Add git.haskell.org as a known host. |