[commit: ghc] wip/gitlab-ci-perf-notes: Skip build, dont check origin url (4a1bb28)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/gitlab-ci-perf-notes
Link       : http://ghc.haskell.org/trac/ghc/changeset/4a1bb28eaacf9261dec36aeb4e963c704b6f77ac/ghc

>---------------------------------------------------------------

commit 4a1bb28eaacf9261dec36aeb4e963c704b6f77ac
Author: David Eichmann <EichmannD at gmail.com>
Date:   Tue Jan 8 15:22:59 2019 -0700

    Skip build, dont check origin url


>---------------------------------------------------------------

4a1bb28eaacf9261dec36aeb4e963c704b6f77ac
 .gitlab-ci.yml               | 16 +++++++++++++---
 .gitlab/push-test-metrics.sh |  8 +-------
 2 files changed, 14 insertions(+), 10 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 674fcc8..ce1c332 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -92,10 +92,20 @@ validate-x86_64-linux-deb8-hadrian:
     - ./configure $CONFIGURE_ARGS
     - |
       THREADS=`mk/detect-cpu-count.sh`
-      make V=0 -j$THREADS
+      
+      
+      
+      
+      
+      #make V=0 -j$THREADS
     - |
-      make binary-dist TAR_COMP_OPTS="-1"
-      mv ghc-*.tar.xz ghc.tar.xz
+      # make binary-dist TAR_COMP_OPTS="-1"
+      # mv ghc-*.tar.xz ghc.tar.xz
+
+
+
+
+      
     - |
       # Prepare to push git notes.
       METRICS_FILE=$(mktemp)
diff --git a/.gitlab/push-test-metrics.sh b/.gitlab/push-test-metrics.sh
index f934083..8d2557d 100755
--- a/.gitlab/push-test-metrics.sh
+++ b/.gitlab/push-test-metrics.sh
@@ -9,15 +9,9 @@ fail() {
 
 GHC_ORIGIN="git at gitlab.haskell.org:ghc/ghc.git"
 
-# Only push git notes when on the official gitlab ghc repo.
-if [ "$CI_REPOSITORY_URL" != "$GHC_ORIGIN" ]; then
-  echo "Not pushing performance git notes: expected repo $GHC_ORIGIN but on repo $CI_REPOSITORY_URL"
-  exit 0
-fi
-
 # Check that private key is available (Set on all GitLab protected branches).
 if [ "$PERF_NOTE_KEY" = "" ]; then
-  echo "Not pushing performance git notes: PERF_NOTE_KEY not set."
+  echo "Not pushing performance git notes: PERF_NOTE_KEY is not set."
   exit 0
 fi