[CI] automatic upgrade

project-everest · Jan 8, 2025 · a0c26cc · a0c26cc
1 parent 967fa41
commit a0c26cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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