Skip to content

Commit

Permalink
[CI] automatic upgrade
Browse files Browse the repository at this point in the history
  • Loading branch information
@dzomo
dzomo committed Jan 15, 2025
1 parent 013c03a commit 7f4efb1
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]=2a810a7f72452e4e29c80d101122949dc0fc6ccf
branches[everparse]=master
hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
branches[everquic-crypto]=master
hashes[FStar]=9586bc207f52e098b9fa67ccc4481b373828d6eb
hashes[FStar]=8d3b529106551e4c208b274afb6f4384f7cb8770
branches[FStar]=master
hashes[hacl-star]=7dd74c390311de52f1b1ad1a5509f1a81aa52552
branches[hacl-star]=main
Expand Down

0 comments on commit 7f4efb1

Please sign in to comment.