From 92b692808ba9a12c437fef443eed2b809bcbb74b Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 22 Oct 2021 14:02:24 +0200
Subject: [PATCH] chore: CI: list archive contents & sizes

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dc5723cde3..6efd585812 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -74,11 +74,11 @@ jobs:
       - name: Install MSYS2
         uses: msys2/setup-msys2@v2
         with:
-          install: make python mingw-w64-x86_64-cmake mingw-w64-x86_64-clang mingw-w64-x86_64-ccache git unzip diffutils binutils
+          install: make python mingw-w64-x86_64-cmake mingw-w64-x86_64-clang mingw-w64-x86_64-ccache git unzip diffutils binutils tree
         if: matrix.os == 'windows-2022'
       - name: Install Brew Packages
         run: |
-          brew install ccache
+          brew install ccache tree
         if: matrix.os == 'macos-latest'
       - name: Cache
         uses: actions/cache@v2
@@ -151,7 +151,12 @@ jobs:
         run: |
           build/stage1/bin/lean -h
       - name: Pack
-        run: cd build/stage1; cpack
+        run: |
+          cd build/stage1
+          cpack
+          mkdir unpack
+          tar xf lean-* -C unpack || unzip lean-4 -d unpack
+          tree --du -h unpack
       - uses: actions/upload-artifact@v2
         with:
           name: build-${{ matrix.name }}