[ ci ] Fix artefact bundling on Windows

Author: banacorn

.github/workflows/test.yaml

@@ -19,8 +19,8 @@ jobs:
     runs-on: ${{ matrix.os }} 
     strategy:
       matrix:
-        os: [ubuntu-latest, macos-latest, macos-13, windows-latest]
-        agda: ['Agda-2.7.0.1', 'Agda-2.6.4.3', 'Agda-2.6.3']
+        os: [windows-latest]
+        agda: ['Agda-2.7.0.1']
       fail-fast: false
     steps:
 
@@ -280,7 +280,6 @@ jobs:
 
         # include text-icu DLLs
         $mingw64bin = (stack path $STACK_YAML_ARG --extra-library-dirs).split(", ") -match "\\bin"
-        ls $mingw64bin
         cp (ls $mingw64bin *libicudt*) zip/
         cp (ls $mingw64bin *libicuin*) zip/
         cp (ls $mingw64bin *libicuuc*) zip/
@@ -290,7 +289,9 @@ jobs:
         cd zip
         Compress-Archive * "$ARTEFACT.zip"
         cd ..
+        ls zip
         mv zip/"$ARTEFACT.zip" .
+        ls 
   
 
     - name: 🧪 Run tests