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 Nov 22, 2023
1 parent e2da87b commit eaf2831
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]=cc4457e546cdb1e8f9a23d2e4fa387aab1a6b502
branches[everquic-crypto]=master
hashes[FStar]=fe6dec16fc4f0234663da63de26d9d2e72fe14df
branches[FStar]=master
hashes[hacl-star]=a5604d1b255e54cd32a104616c4b01808d46d809
hashes[hacl-star]=95112e8dcb1ea3fe7d254290f8864b8f8e2fb6b2
branches[hacl-star]=main
hashes[karamel]=a7be2a7c43eca637ceb57fe8f3ffd16fc6627ebd
branches[karamel]=master
Expand Down

0 comments on commit eaf2831

Please sign in to comment.