[ ci ] Fix the $ARTEFACT variable and extra-deps for 2.6.4.3 test

agda · Dec 5, 2024 · 0c35610 · 0c35610
1 parent 6703ff5
commit 0c35610
Show file tree

Hide file tree

Showing 3 changed files with 66 additions and 11 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: ['2.7.0.1', '2.6.4.3']
+        os: [windows-latest]
+        agda: ['Agda-2.7.0.1']
       fail-fast: false
     steps:
 
@@ -33,25 +33,25 @@ jobs:
 
     - name: 🎛️ Determine which version of Agda to target
       run: |
-        STACK_YAML=$(echo stack-9.2-Agda-${{ matrix.agda }}.yaml)
-        STACK_YAML_ARG="--stack-yaml $(echo stack-9.2-Agda-${{ matrix.agda }}.yaml)"
+        STACK_YAML=$(echo stack-9.2-${{ matrix.agda }}.yaml)
+        STACK_YAML_ARG="--stack-yaml $(echo stack-9.2-${{ matrix.agda }}.yaml)"
 
         if [[ ${{ matrix.os }} == "ubuntu-latest" ]]; then
-          ARTEFACT="als-Agda-${{ matrix.agda }}-ubuntu"
+          ARTEFACT="als-${{ matrix.agda }}-ubuntu"
         fi
         if [[ ${{ matrix.os }} == "macos-latest" ]]; then
-          ARTEFACT="als-Agda-${{ matrix.agda }}-macos-arm64"
+          ARTEFACT="als-${{ matrix.agda }}-macos-arm64"
         fi
         if [[ ${{ matrix.os }} == "macos-13" ]]; then
-          ARTEFACT="als-Agda-${{ matrix.agda }}-macos-x64"
+          ARTEFACT="als-${{ matrix.agda }}-macos-x64"
         fi
         if [[ ${{ matrix.os }} == "windows-latest" ]]; then
-          ARTEFACT="als-Agda-${{ matrix.agda }}-windows"
+          ARTEFACT="als-${{ matrix.agda }}-windows"
         fi
         
         echo STACK_YAML_ARG="${STACK_YAML_ARG}" >> "${GITHUB_ENV}"
         echo STACK_YAML="${STACK_YAML}"         >> "${GITHUB_ENV}"
-        echo ARTE="${ARTEFACT}"                 >> "${GITHUB_ENV}"
+        echo ARTEFACT="${ARTEFACT}"             >> "${GITHUB_ENV}"
 
     - name: 🎛️ Determine Stack resolver & GHC version
       run: |
@@ -288,9 +288,9 @@ jobs:
 
         # compress
         cd zip
-        Compress-Archive * $ARTEFACT.zip
+        Compress-Archive * "$ARTEFACT.zip"
         cd ..
-        mv zip/$ARTEFACT.zip .
+        mv zip/"$ARTEFACT.zip" .
   
 
     - name: 🧪 Run tests

diff --git a/stack-9.2-Agda-2.6.4.3.yaml b/stack-9.2-Agda-2.6.4.3.yaml
@@ -10,6 +10,7 @@ extra-deps:
 - Agda-2.6.4.3
 - lsp-2.7.0.0@sha256:2a64b40a69fd9638056ca552d5660203019473061cff1d09dccc0c94e40a275c,3834
 - lsp-types-2.3.0.0@sha256:ca17a686bda5dc7ff04105ca7081dce5a90bcd050c8800a13efd68b7f0901f1c,34215
+- lsp-test-0.17.1.0@sha256:f54757a564b46783cf67b13f4cb4ebc45e43f5afc3604d9757ee387c091b73e9,4406
 - mod-0.2.0.1@sha256:eeb316fef3a8c12f4e83bbeeea748e74d75fca54d4498d574ace92e464adb05a,2409
 - row-types-1.0.1.2@sha256:4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64,3071
 

diff --git a/stack-9.2-Agda-2.7.0.1.yaml.lock b/stack-9.2-Agda-2.7.0.1.yaml.lock
@@ -0,0 +1,54 @@
+# This file was autogenerated by Stack.
+# You should not edit this file by hand.
+# For more information, please see the documentation at:
+#   https://docs.haskellstack.org/en/stable/lock_files
+
+packages:
+- completed:
+    hackage: Agda-2.7.0.1@sha256:37d363f323c1229f9ae16b4e0b2120d713b793a012847158fe6df736ec7736ec,30433
+    pantry-tree:
+      sha256: c0324b33036f03017fd8b57188137d0ede9b8fbacc76876c67dd9b8b607873c7
+      size: 43358
+  original:
+    hackage: Agda-2.7.0.1
+- completed:
+    hackage: lsp-2.7.0.0@sha256:2a64b40a69fd9638056ca552d5660203019473061cff1d09dccc0c94e40a275c,3834
+    pantry-tree:
+      sha256: 630a5e18d7783c35a296268959c8d9348ee6dc94540047ea58146b310d8de941
+      size: 1120
+  original:
+    hackage: lsp-2.7.0.0@sha256:2a64b40a69fd9638056ca552d5660203019473061cff1d09dccc0c94e40a275c,3834
+- completed:
+    hackage: lsp-types-2.3.0.0@sha256:ca17a686bda5dc7ff04105ca7081dce5a90bcd050c8800a13efd68b7f0901f1c,34215
+    pantry-tree:
+      sha256: 0bf22e394dc804c8cee74d19a7f38021cfd48a15082b39a14753c037f2a64288
+      size: 51996
+  original:
+    hackage: lsp-types-2.3.0.0@sha256:ca17a686bda5dc7ff04105ca7081dce5a90bcd050c8800a13efd68b7f0901f1c,34215
+- completed:
+    hackage: lsp-test-0.17.1.0@sha256:f54757a564b46783cf67b13f4cb4ebc45e43f5afc3604d9757ee387c091b73e9,4406
+    pantry-tree:
+      sha256: 66797a8efd50812189c410310dc0a9b72858ea3a3e78764e9cedd8f406df2564
+      size: 1561
+  original:
+    hackage: lsp-test-0.17.1.0@sha256:f54757a564b46783cf67b13f4cb4ebc45e43f5afc3604d9757ee387c091b73e9,4406
+- completed:
+    hackage: mod-0.2.0.1@sha256:eeb316fef3a8c12f4e83bbeeea748e74d75fca54d4498d574ace92e464adb05a,2409
+    pantry-tree:
+      sha256: d469d7e415c1593f052d3ca647e4085ab759be378d25ca7d2eea0aab0083ce38
+      size: 590
+  original:
+    hackage: mod-0.2.0.1@sha256:eeb316fef3a8c12f4e83bbeeea748e74d75fca54d4498d574ace92e464adb05a,2409
+- completed:
+    hackage: row-types-1.0.1.2@sha256:4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64,3071
+    pantry-tree:
+      sha256: 6a3617038d3970095100d14d026c396002a115700500cf3004ffb67ae5a75611
+      size: 1060
+  original:
+    hackage: row-types-1.0.1.2@sha256:4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64,3071
+snapshots:
+- completed:
+    sha256: 5a59b2a405b3aba3c00188453be172b85893cab8ebc352b1ef58b0eae5d248a2
+    size: 650475
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/26.yaml
+  original: lts-20.26