[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2.6.4.3, and Agda-2.6.3

Author: banacorn

.github/workflows/test.yaml

@@ -130,14 +130,14 @@ jobs:
     # things to be cached
 
     - name: 💾 Cache stack global package db
-      if:   always() && steps.stack-global.outputs.cache-hit != 'true'
+      if:   steps.stack-global.outputs.cache-hit != 'true'
       uses: actions/cache/save@v4
       with:
         path: ${{ env.STACK_ROOT }}
         key: ${{ steps.stack-global.outputs.cache-primary-key }}
 
     - name: 💾 Cache .stack-work
-      if:   always() && steps.stack-work.outputs.cache-hit != 'true'
+      if:   steps.stack-work.outputs.cache-hit != 'true'
       uses: actions/cache/save@v4
       with:
         path: .stack-work

package.yaml

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

src/Options.hs

@@ -64,7 +64,15 @@ options =
   ]
 
 usage :: String
-usage = "Agda v2.7.0.1 Language Server v3\nUsage: als [Options...]\n"
+#if MIN_VERSION_Agda(2,7,0)
+usage = "Agda v2.7.0.1 Language Server v4\nUsage: als [Options...]\n"
+#endif
+#if MIN_VERSION_Agda(2,6,4)
+usage = "Agda v2.6.4.3 Language Server v4\nUsage: als [Options...]\n"
+#endif
+#if MIN_VERSION_Agda(2,6,3)
+usage = "Agda v2.6.3 Language Server v4\nUsage: als [Options...]\n"
+#endif
 
 usageAboutAgdaOptions :: String
 usageAboutAgdaOptions =