message: fix: unpack nightlies in ci
diff: @@ -40,9 +40,8 @@ jobs:
  check_artifacts: true
  - name: Unpack Lean4 build
  run: |
  - if [[ "$(ls *.zst)" != "lean-4.0.0-linux.tar.zst" ]]; then mv $(ls *.gz) lean-4.0.0-linux.tar.zst; fi
  mkdir lean4
  - tar --use-compress-program=unzstd -xvf lean-4.0.0-linux.tar.zst -C lean4 --strip-components 1
  + tar -xvf lean-*-linux.tar.zst -C lean4 --strip-components 1
  ls -al lean4/bin
  echo ================= ldd lean
  ldd lean4/bin/lean
  