[ change ][ ci ] Cache DLLs on Mac

agda · Oct 22, 2021 · dbc911e · dbc911e
1 parent 41b8fb0
commit dbc911e
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 2 deletions.
diff --git a/.github/workflows/test-mac.yaml b/.github/workflows/test-mac.yaml
@@ -37,6 +37,7 @@ jobs:
         key: ${{ runner.os }}-stack-work-${{ hashFiles('**.yaml') }}
         restore-keys: |
              ${{ runner.os }}-stack-work
+
     - name: 💾 Cache agda-language-server/.stack-work
       uses: actions/cache@v2
       with:
@@ -45,6 +46,12 @@ jobs:
         restore-keys: |
              ${{ runner.os }}-agda-language-server-stack-work
 
+    - name: 💾 Cache agda-language-server/lib
+      uses: actions/cache@v2
+      with:
+        path: agda-language-server/lib
+        key: ${{ runner.os }}-agda-language-server-dylibs-${{ hashFiles('agda-language-server/package.yaml') }}
+
     # actions:
 
     - name: ⏬ Install stack

diff --git a/agda-language-server.cabal b/agda-language-server.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           agda-language-server
-version:        0.2.0
+version:        0.2.1
 synopsis:       An implementation of language server protocal (LSP) for Agda 2.
 description:    Please see the README on GitHub at <https://github.com/banacorn/agda-language-server#readme>
 category:       Development

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name:                agda-language-server
-version:             0.2.0
+version:             0.2.1
 github:              "banacorn/agda-language-server"
 license:             MIT
 author:              "Ting-Gian LUA"