Merge pull request #18 from runtimeverification/raoul/remote-debugging

Added changelog entry for v3.1.0
runtimeverification · Oct 16, 2024 · 8639a6b · 8639a6b
2 parents d55594c + b5fb8b8
commit 8639a6b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 All notable changes to the "Simbolik VSCode" extension will be documented in this file.
 
+## [3.1.0] - 2024-16-10
+
+- Added `chainId` option to attach-configurations
+
 ## [3.0.0] - 2024-11-10
 
 - Compatibility with the latest version of the Simbolik API