Skip to content

Commit

Permalink
[CI] automatic upgrade
Browse files Browse the repository at this point in the history
  • Loading branch information
Dzomo, the Everest Yak committed Jan 6, 2024
1 parent 0d8e702 commit 5adb5ba
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hashes.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,5 @@ hashes[mitls-fstar]=1274e8cc9ce04b5122a4a7bab23f261c8ea107bd
branches[mitls-fstar]=master
hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
branches[MLCrypto]=master
hashes[steel]=1931b3f54e28b0b96bd72f113082f741d8b1e4c4
hashes[steel]=39a500ec1af0ac4388bb5f12042736819a7dc861
branches[steel]=main

0 comments on commit 5adb5ba

Please sign in to comment.