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 Jun 3, 2024
1 parent ee5e84e commit ec8ae1b
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 @@ -6,7 +6,7 @@ hashes[everquic-crypto]=c773c8e7de1bb51369561723e9cae618339e162d
branches[everquic-crypto]=master
hashes[FStar]=9820798dcc31cd1ea5c164611a67f58ade0b7655
branches[FStar]=master
hashes[hacl-star]=9149b0c26b06a8e06a0920a07c33ddd18d94c519
hashes[hacl-star]=5ec960b861e3d7f2d29f8f0112034dda8a2ae6db
branches[hacl-star]=main
hashes[karamel]=1b809c2917853d1117034c78d978ac19642aa84a
branches[karamel]=master
Expand Down

0 comments on commit ec8ae1b

Please sign in to comment.