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 Feb 9, 2024
1 parent 50d50f2 commit a3fef64
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 @@ -4,7 +4,7 @@ hashes[everparse]=00217c4a89f5ba56002ba9aa5b4a9d5903bfe9fa
branches[everparse]=master
hashes[everquic-crypto]=cc4457e546cdb1e8f9a23d2e4fa387aab1a6b502
branches[everquic-crypto]=master
hashes[FStar]=531185028c4add6ff183ca119ca8415cc2b375db
hashes[FStar]=8a8d972a27cab96c26c872be66f265547d9d10a2
branches[FStar]=master
hashes[hacl-star]=9666f11923844fcdbca6a7af4b4b94fa47b5bb88
branches[hacl-star]=main
Expand Down

0 comments on commit a3fef64

Please sign in to comment.