Release v0.25.1

bugarela · bugarela · commit c8bf6ff8d322 · 2025-06-05T16:22:44.000-03:00
diff --git 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.25.1 -- 2025-06-05
+
 ### Added
 
 - `quint run` and `quint verify` can now receive multiple invariants through
diff --git a/quint/package-lock.json b/quint/package-lock.json
diff --git a/quint/package.json b/quint/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.25.0",
+  "version": "0.25.1",
   "description": "Core tool for the Quint specification language",
   "keywords": [
     "temporal",
diff --git a/quint/src/version.ts b/quint/src/version.ts
@@ -1,2 +1,2 @@
 // Generated by genversion.
-export const version = '0.25.0'
+export const version = '0.25.1'

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@informalsystems/quint",`
`3`		`- "version": "0.25.0",`
	`3`	`+ "version": "0.25.1",`
`4`	`4`	`"description": "Core tool for the Quint specification language",`
`5`	`5`	`"keywords": [`
`6`	`6`	`"temporal",`