diff options
author | Ben Gamari <ben@smart-cactus.org> | 2021-01-04 13:50:20 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-09 21:22:51 -0500 |
commit | 73b5cc018f59ca6ea37550215699fa26c75a16c1 (patch) | |
tree | 2324e6767022b604d5eb19a86124d739c0c3c9fd /.gitlab/ci.sh | |
parent | f6b843cd44fd0170af06f52f2e1d25908184aabb (diff) | |
download | haskell-73b5cc018f59ca6ea37550215699fa26c75a16c1.tar.gz |
gitlab-ci: Don't attempt to push perf notes in cross build
We don't run the testsuite in cross-compiled builds so there is nothing
to push.
Diffstat (limited to '.gitlab/ci.sh')
-rwxr-xr-x | .gitlab/ci.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 618430f6dd..2d038cf726 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -418,6 +418,11 @@ function fetch_perf_notes() { } function push_perf_notes() { + if [ -n "$CROSS_TARGET" ]; then + info "Can't test cross-compiled build." + return + fi + info "Pushing perf notes..." "$TOP/.gitlab/test-metrics.sh" push } |