[ new ] Release v0.2.6.4.0.3

Author: banacorn

CHANGELOG.md

@@ -4,10 +4,11 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
-## v0.2.6.4.0.2 - 2023-12-14
+## v0.2.6.4.0.3 - 2023-12-14
 
 ### Fixed
-- Add missing handlers for `lsp` methods.
+- #15: Add missing handlers for `lsp` methods.
+- #24: Fix the encoding of binaries built on GitHub Actions.
 - Patch path to the "data" directory when the executable is built on GitHub Actions.
 
 ## v0.2.6.4.0.0 - 2023-12-12

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.6.4.0.2
+version:        0.2.6.4.0.3
 synopsis:       An implementation of language server protocal (LSP) for Agda 2.
 description:    Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>
 category:       Development

package.yaml

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

src/Server.hs

@@ -112,7 +112,8 @@ handlers =
       notificationHandler SInitialized $ \_not -> pure (),
       notificationHandler STextDocumentDidOpen $ \_not -> pure (),
       notificationHandler STextDocumentDidSave $ \_not -> pure (),
-      notificationHandler STextDocumentDidChange $ \_not -> pure ()
+      notificationHandler STextDocumentDidChange $ \_not -> pure (),
+      notificationHandler SCancelRequest $ \_not -> pure ()
       -- -- syntax highlighting
       -- , requestHandler STextD_cumentSemanticTokensFull $ \req responder -> do
       --   result <- Handler.onHighlight (req ^. (params . textDocument . uri))