Merge remote-tracking branch 'upstream/master' into claim-labels

ehildenb · ehildenb · commit aeb5c17ec404 · 2024-01-29T19:04:59.000Z
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.1.98
+6.1.100
diff --git a/src/pyk/__init__.py b/src/pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-K_VERSION: Final = '6.1.98'
+K_VERSION: Final = '6.1.100'
