[CI] automatic upgrade

hashes.sh

@@ -1,10 +1,10 @@
 declare -A hashes
 declare -A branches
-hashes[everparse]=6e84e863b1000c1159b3839b22e2a62e8d4ff7bc
+hashes[everparse]=07b70fe96e3ff921cab17e971cdf08fe4297121e
 branches[everparse]=master
 hashes[everquic-crypto]=da57244848d6ac66031163db28ddc18ec630493f
 branches[everquic-crypto]=master
-hashes[FStar]=2f9a655f8bb444aaf14b7b7c61252eba375256fd
+hashes[FStar]=0c4b790fd608bccfc332d3ff1e9b29c9be8b0595
 branches[FStar]=master
 hashes[hacl-star]=a8ff47bf3f66e2b1556378b46affff658e739a52
 branches[hacl-star]=main
@@ -16,7 +16,7 @@ hashes[mitls-fstar]=7b7e79d075a615828afcf1e64e16d8a7b0b086c9
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[pulse]=0b8a3af8a48fffa5f675bced20057f46d223aaa4
+hashes[pulse]=d05560996e2797cb9748522e2ce884ca4e2ec320
 branches[pulse]=main
 hashes[steel]=6240a1ae9df33a5a862823b06382c74a14119b83
 branches[steel]=main