From 63c79006cd07404f8b012e3200e22631845a865b Mon Sep 17 00:00:00 2001 From: bugarela Date: Tue, 19 Nov 2024 11:53:24 -0300 Subject: [PATCH] Release v0.22.4 --- CHANGELOG.md | 9 +++++++++ quint/package-lock.json | 4 ++-- quint/package.json | 2 +- quint/src/version.ts | 2 +- 4 files changed, 13 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 40fde10af..ffcfb5ec0 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,6 +7,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ## UNRELEASED +### Added +### Changed +### Deprecated +### Removed +### Fixed +### Security + +## v0.22.4 -- 2024-11-19 + ### Added ### Changed ### Deprecated diff --git a/quint/package-lock.json b/quint/package-lock.json index b572f4418..d88ada13a 100644 --- a/quint/package-lock.json +++ b/quint/package-lock.json @@ -1,12 +1,12 @@ { "name": "@informalsystems/quint", - "version": "0.22.3", + "version": "0.22.4", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "@informalsystems/quint", - "version": "0.22.3", + "version": "0.22.4", "license": "Apache 2.0", "dependencies": { "@grpc/grpc-js": "^1.11.1", diff --git a/quint/package.json b/quint/package.json index 937cc7853..a6a1a9824 100644 --- a/quint/package.json +++ b/quint/package.json @@ -1,6 +1,6 @@ { "name": "@informalsystems/quint", - "version": "0.22.3", + "version": "0.22.4", "description": "Core tool for the Quint specification language", "keywords": [ "temporal", diff --git a/quint/src/version.ts b/quint/src/version.ts index 12f4b8264..077c8d29c 100644 --- a/quint/src/version.ts +++ b/quint/src/version.ts @@ -1,2 +1,2 @@ // Generated by genversion. -export const version = '0.22.3' +export const version = '0.22.4'