feat: Shards #4148

jjerphan merged 25 commits into mamba-org:main from jjerphan:feat/shards
jjerphan
github-actions github-actions added release::enhancements
jjerphan jjerphan marked this pull request as ready for review 31 days ago
jjerphan feat: Shards
730c46ec
jjerphan jjerphan force pushed from 030294e3 to 730c46ec 31 days ago
codecov
JohanMabille
JohanMabille requested changes on 2026-01-26
jjerphan Create and use function to extract a hash value
c1018512
jjerphan Use utility functions for URL
7568fe84
jjerphan Move block for `MSGPACK_OBJECT_NIL`
c232054a
jjerphan Reserve space for parsed strings
7baa5684
jjerphan Move cache creation out of the loop
7db8bd2e
jjerphan Rename `Shards::shard_path` to `Shards::relative_shard_path`
7ed8adb2
jjerphan Rename `visit_shard` to `load_shard`
7ea71559
jjerphan Split `fetch_shards` into smaller functions
7372f332
jjerphan Remove unused `url` parameter
1895cd4b
jjerphan Replace `load_shard` with `process_fetched_shard`
cefe016e
jjerphan Use functions from `url_manip`
61a20b32
jjerphan Pass parameters by value
d1d1519f
jjerphan Rename `Shards::shard_loaded` to `Shards::is_shard_present`
8d7fe88c
jjerphan jjerphan force pushed from 866d6ba6 to 83d02958 27 days ago
jjerphan Reserve space in the datastructures
6dd1f3ae
jjerphan Handle `MSGPACK_OBJECT_NEGATIVE_INTEGER`
1de35681
jjerphan jjerphan force pushed from 83d02958 to 1de35681 27 days ago
jjerphan Do not reference mirrors' map in `Shards`'s members
40805cd7
JohanMabille
JohanMabille requested changes on 2026-01-29
jjerphan Adapt lambda on success
307a51b1
jjerphan Early return if failure on expected `MSGPACK_OBJECT_MAP`
f7d24d17
jjerphan Remove useless retry block
eb89de3a
jjerphan Remove useless checks
bb5790dd
jjerphan Adapt removal of leading `/` in shard path
c2cd8737
jjerphan Remove useless `else`
33cb6d84
jjerphan Simplify logic of `compare_packages`
80ee5c17
JohanMabille
JohanMabille requested changes on 2026-01-29
jjerphan Rework shard reading logic
4238a368
JohanMabille
JohanMabille approved these changes on 2026-01-30
jjerphan jjerphan merged 88c66150 into main 24 days ago
jjerphan jjerphan deleted the feat/shards branch 24 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone