Skip to content

Commit

Permalink
[ doc ] Update CHANGELOG & release v0.5.1
Browse files Browse the repository at this point in the history
  • Loading branch information
@banacorn
banacorn committed Nov 28, 2024
1 parent d239304 commit 85b9f54
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
### Changed
- Deprecated the legacy ReScript Belt & JS modules
- CI: Speedup and reduce cache size by caching Agda artefacts instead of the whole build directory
- CI: Add Agda-2.6.3 to the mix

## v0.5.0 - 2024-11-13

Expand Down
2 changes: 1 addition & 1 deletion package.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
"description": "agda-mode on vscode",
"icon": "asset/logo.png",
"publisher": "banacorn",
"version": "0.5.0",
"version": "0.5.1",
"engines": {
"vscode": "^1.94.0"
},
Expand Down

0 comments on commit 85b9f54

Please sign in to comment.