From 6746c5ac436ff168073387f67fd7ae3f0109879e Mon Sep 17 00:00:00 2001 From: Ting-Gian LUA Date: Wed, 13 Nov 2024 15:17:13 +0800 Subject: [PATCH] [ new ] Prepare for the v0.5.0 release --- CHANGELOG.md | 6 +++++- package.json | 2 +- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7de8a542..5fa755c6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,7 +5,7 @@ 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/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html) -## v0.5.0 - BTA +## v0.5.0 - 2023-11-13 ### Fixed - #196: Improve the logic related to buffer's font size adjustment by [@jiangsy](https://github.com/jiangsy) @@ -15,8 +15,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Changed - Upgrade ReScript to v11 +- Deprecated "reason-promise" in favor of the new async/await syntax in ReScript - CI overhaul: allow testings be be conducted on all major platforms (Windows, macOS, Ubuntu) and on multiple versions of Agda +### Added +- More testings for some of the commands + ## v0.4.7 - 2023-12-16 ### Changed diff --git a/package.json b/package.json index 11a7e2d0..c3d5012d 100644 --- a/package.json +++ b/package.json @@ -4,7 +4,7 @@ "description": "agda-mode on vscode", "icon": "asset/logo.png", "publisher": "banacorn", - "version": "0.4.7", + "version": "0.5.0", "engines": { "vscode": "^1.94.0" },