[CI] automatic upgrade

project-everest · Jun 3, 2024 · ee5e84e · ee5e84e
1 parent 41c38fc
commit ee5e84e
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]=c0984026887ecfcdbc8d181f4de519c86bfb68e2
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[pulse]=d64feda8a9c8a76952cd2a1c8adcc330de0c30e1
+hashes[pulse]=da0c3dc08903b85e1601c9833e9e7c241a246fea
 branches[pulse]=main
 hashes[steel]=876bf9343a3fa4b8ab2e3b26e3574c7a445c3cd8
 branches[steel]=main