[CI] automatic upgrade

project-everest · Oct 18, 2024 · 11ecdbb · 11ecdbb
1 parent 8032469
commit 11ecdbb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/hashes.sh b/hashes.sh
@@ -4,7 +4,7 @@ hashes[everparse]=444a1d68666a382b071773bb9e91033384a3739a
 branches[everparse]=master
 hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
 branches[everquic-crypto]=master
-hashes[FStar]=2c32d6e230851bbceadac7a21fc418fa2bb7e4bc
+hashes[FStar]=e6e35c24288b863f004d2ed05ebfb7df75a71b32
 branches[FStar]=master
 hashes[hacl-star]=6c288ea6d1498554d72ed6c22b0d328175dec309
 branches[hacl-star]=main
@@ -16,7 +16,7 @@ hashes[mitls-fstar]=e9805d0173eb6f8addcca6ea8ad4e7c8f2046689
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[pulse]=eea0fae13ab51c78e0dba227ef42fa73246401e0
+hashes[pulse]=fe64d61b7896f99119e8720c71431f9fbe39f7f1
 branches[pulse]=main
-hashes[steel]=0f3e79acf1b53f76172bdaf5b84196d62e2018a5
+hashes[steel]=993eb0f048e73f63250c4c41f019d2e3fb5bfd74
 branches[steel]=main