message: ci: debug gh release list
diff: @@ -65,10 +65,11 @@ jobs:
  ls -al ./lean4/bin
  chmod u+x ./lean4/bin/*
  ./lean4/bin/lean --version
  - - name: Download and Extract Lean4 build artifact on Windows
  + - name: Download and Extract Lean4 nightly build on Windows
  if: matrix.os == 'windows-latest'
  shell: pwsh
  run: |
  + gh release list --repo leanprover/lean4-nightly --limit 10
  $version = (gh release list --repo leanprover/lean4-nightly --limit 1).Split("`t")[0]
  $zipFile = "lean-4.0.0-$version-windows.zip"
  gh release download $version -p $zipFile --repo leanprover/lean4-nightly
  