diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index d539d1d..e2e6f80 100644 --- 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,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/ @@ -288,9 +287,11 @@ jobs: # 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