[ fix ][ ci ] Include text-icu DLLs on Windows

Author: banacorn

.github/workflows/test-windows.yaml

@@ -101,6 +101,14 @@ jobs:
         cp -r $datadir zip/data
         cp $executable zip/
 
+        # include text-icu DLLs
+        $mingw64bin = (stack path --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 * als-windows.zip

package.yaml

@@ -1,5 +1,5 @@
 name:                agda-language-server
-version:             0.1.0.3
+version:             0.1.1
 github:              "banacorn/agda-language-server"
 license:             MIT
 author:              "Ting-Gian LUA"