diff options
author | Sylvain Henry <sylvain@haskus.fr> | 2023-02-22 18:15:45 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-02-24 21:31:25 -0500 |
commit | 7825fef9f2096d7769baf433c6858d132af60a3a (patch) | |
tree | a55390b8ca76af14e1f917dae81c4f24bb7cb97d /.gitlab | |
parent | ece092d07f343dcfb4563e4f42d53a2a1e449f1a (diff) | |
download | haskell-7825fef9f2096d7769baf433c6858d132af60a3a.tar.gz |
JS: Store CI perf results (fix #22923)
Diffstat (limited to '.gitlab')
-rwxr-xr-x | .gitlab/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 4f2026f708..79fb8e5290 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -455,7 +455,7 @@ function push_perf_notes() { return fi - if [[ -n "${CROSS_TARGET:-}" ]]; then + if [ -n "${CROSS_TARGET:-}" ] && [ "${CROSS_EMULATOR:-}" != "js-emulator" ]; then info "Can't test cross-compiled build." return fi |