[ ci ] Fix artefact bundling on Windows

agda · Dec 6, 2024 · 20c15ad · 20c15ad
1 parent e14e1c3
commit 20c15ad
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/.github/workflows/test.yaml b/.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,17 +280,18 @@ 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/
         ls zip
 
         # compress
         cd zip
-        Compress-Archive * "$ARTEFACT.zip"
+        Compress-Archive * "$($env:ARTEFACT).zip"
         cd ..
-        mv zip/"$ARTEFACT.zip" .
+        ls zip
+        mv zip/"$($env:ARTEFACT).zip" .
+        ls 
   
 
     - name: 🧪 Run tests