[CI] automatic upgrade

project-everest · Oct 8, 2024 · e008ea7 · e008ea7
1 parent 88b0ac5
commit e008ea7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hashes.sh b/hashes.sh
@@ -4,7 +4,7 @@ hashes[everparse]=d9f0010810c0d6a3817f9891a1ca60213833b4b0
 branches[everparse]=master
 hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
 branches[everquic-crypto]=master
-hashes[FStar]=4962891764e25f688b211f440cc1340f4af98c5b
+hashes[FStar]=64e5bc6b008e7e993aacb1e71999e4158119a774
 branches[FStar]=master
 hashes[hacl-star]=43118a326201d5ce0cd2f5286c83efce9e48390a
 branches[hacl-star]=main
@@ -16,7 +16,7 @@ hashes[mitls-fstar]=e9805d0173eb6f8addcca6ea8ad4e7c8f2046689
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[pulse]=88b8912aeda621cbf496980e6e3d4202ec742b8c
+hashes[pulse]=243e8f95e1f6ae91d4eb4a02029eb59f9832a4ba
 branches[pulse]=main
 hashes[steel]=c2305657daad99942e86cad2240740835e6e4581
 branches[steel]=main