New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release v0.7.4 #175

Merged

fizruk merged 1 commit into develop from release-v0.7.4

Apr 1, 2024

Member

fizruk commented Apr 1, 2024

Fixes:

Fix caching in Rzk Language Server, especially in presence of errors (see #167)
Fix CI for the Rzk Playground (see #174)

This release also contains minor refactoring (see #165) and a typo fix (see #171).


          Bump version and update changelog

5dbeb98

fizruk merged commit 8471ad0 into develop

6 checks passed

fizruk deleted the release-v0.7.4 branch

April 1, 2024 18:26

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment