From 31a1af9aa3ac0c93b2ffad5805ed4c8bf0b0ae9f Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 8 Mar 2024 01:07:38 +0000
Subject: [PATCH] deps/pyk_release: Set Version v0.1.691

---
 deps/pyk_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/pyk_release b/deps/pyk_release
index 078d3d27f9..2ad1b69ebf 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.690
+v0.1.691