From a0c26ccf0a50e26f4c0ac91b947374a6c9671903 Mon Sep 17 00:00:00 2001
From: "Dzomo, the Everest Yak" <24394600+dzomo@users.noreply.github.com>
Date: Wed, 8 Jan 2025 13:46:48 +0000
Subject: [PATCH] [CI] automatic upgrade

---
 hashes.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hashes.sh b/hashes.sh
index 1f013cd0..22e6371e 100644
--- a/hashes.sh
+++ b/hashes.sh
@@ -16,7 +16,7 @@ hashes[mitls-fstar]=e9805d0173eb6f8addcca6ea8ad4e7c8f2046689
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[pulse]=899754c8f549b85f9462636728d1f4bb4794eb2c
+hashes[pulse]=f6fbe18789b15e702a70e5422106389b7668b35c
 branches[pulse]=main
 hashes[steel]=9d7ecfcead4174d1056b8c77b9575dbf8cd632d5
 branches[steel]=main