[CI] automatic upgrade

project-everest · Dec 8, 2023 · 1756522 · 1756522
1 parent c48a4ce
commit 1756522
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hashes.sh b/hashes.sh
@@ -4,7 +4,7 @@ hashes[everparse]=5d66d02c12d4dfadd51b4faf1fe7e28321da1ea3
 branches[everparse]=master
 hashes[everquic-crypto]=cc4457e546cdb1e8f9a23d2e4fa387aab1a6b502
 branches[everquic-crypto]=master
-hashes[FStar]=4da196a64b5e9e01ca5b5483a8ea12f5fbbfc938
+hashes[FStar]=6e20d76e09f66dc3eea5c40eac008ea1338ceef1
 branches[FStar]=master
 hashes[hacl-star]=f280ff8fe0f285edcc25c35a811dea0c233e3482
 branches[hacl-star]=main
@@ -16,5 +16,5 @@ hashes[mitls-fstar]=1274e8cc9ce04b5122a4a7bab23f261c8ea107bd
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[steel]=0f80929ab6fc74003eca8525ab77934c7cb4c540
+hashes[steel]=2644137745a7a7be695686d5572773a5e5010540
 branches[steel]=main