From babcd3563d28cf22fd9ce3ec54b0bd0bb6223096 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 19 Nov 2021 09:12:31 +0100
Subject: [PATCH] chore: CI: fix nightly release, compress non-release more

---
 .github/workflows/ci.yml | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1449af8fe7..4a8c5b520c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -136,17 +136,20 @@ jobs:
           # omit contents of Init/, ...
           tree --du -h lean-* | grep -E ' (Init|Std|Lean|Lake|LICENSE|[a-z])'
       - name: Pack
-        if: ${{ startsWith(github.ref, 'refs/tags/v') && matrix.release }}
         run: |
           dir=$(echo lean-*)
           mkdir pack
-          which zstd
-          tar cf - $dir | zstd -T0 --no-progress -19 -o pack/$dir.tar.zst
-          zip -r pack/$dir.zip $dir
+          # high-compression tar.zst + zip for release, fast tar.zst otherwise
+          if [[ ${{ startsWith(github.ref, 'refs/tags/v') && matrix.release }} == true || -n ${LEAN_VERSION_STRING:-} ]]; then
+            tar cf - $dir | zstd -T0 --no-progress -19 -o pack/$dir.tar.zst
+            zip -r pack/$dir.zip $dir
+          else
+            tar cf - $dir | zstd -T0 --no-progress -o pack/$dir.tar.zst
+          fi
       - uses: actions/upload-artifact@v2
         with:
           name: build-${{ matrix.name }}
-          path: lean-*
+          path: pack/*.zst
       - name: Lean stats
         run: |
           build/stage1/bin/lean --stats src/Lean.lean