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 Oct 19, 2023
1 parent cdb9c68 commit 8306b01
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]=76c14ada5db16b85a33920d826df0552e4c3cf10
branches[everquic-crypto]=master
hashes[FStar]=f7c80bf6814f1af74719e05a2126d2d21a01c50d
branches[FStar]=master
hashes[hacl-star]=9d9bd322463d71b739b22aabed5d833517be4c20
hashes[hacl-star]=48ed3d12837b3ecd0f3bb0365bf344a753c9cc5d
branches[hacl-star]=main
hashes[karamel]=f3c3c7a3e7d6aea1c1d05b705eea99688f44f153
branches[karamel]=master
Expand Down

0 comments on commit 8306b01

Please sign in to comment.