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 | |
| 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.
| -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 } |