Skip to content

Commit

Permalink
[ new ] Release Agda v2.7.0.1 Language Server v1
Browse files Browse the repository at this point in the history
  • Loading branch information
banacorn committed Dec 4, 2024
1 parent f2057aa commit 5e4da3b
Show file tree
Hide file tree
Showing 4 changed files with 21 additions and 3 deletions.
18 changes: 18 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,24 @@ 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.7.0.1.1 - 2024-12-4

### Added
- #29: Integration testing for the language server
- Prebuilt binaries for Intel x64 macOS

### Changed
- Unfied workflow for building and testing the language server across all platforms

## v0.2.7.0.1.0 - 2024-12-2

### Added
- #22: agda 2.6.4 by [@andreasabel](https://github.com/andreasabel)
- #23: lsp 2 by [@andreasabel](https://github.com/andreasabel)

### Fixed
- Version information of the language server

## v0.2.6.4.0.3 - 2023-12-14

### Fixed
Expand Down
2 changes: 1 addition & 1 deletion agda-language-server.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ cabal-version: 1.12
-- see: https://github.com/sol/hpack

name: agda-language-server
version: 0.2.7.0.1.0
version: 0.2.7.0.1.1
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
Expand Down
2 changes: 1 addition & 1 deletion package.yaml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: agda-language-server
version: 0.2.7.0.1.0
version: 0.2.7.0.1.1
github: "banacorn/agda-language-server"
license: MIT
author: "Ting-Gian LUA"
Expand Down
2 changes: 1 addition & 1 deletion src/Options.hs
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,7 @@ options =
]

usage :: String
usage = "Agda v2.7.0.1 Language Server v0\nUsage: als [Options...]\n"
usage = "Agda v2.7.0.1 Language Server v1\nUsage: als [Options...]\n"

usageAboutAgdaOptions :: String
usageAboutAgdaOptions =
Expand Down

0 comments on commit 5e4da3b

Please sign in to comment.