vigna / webgraph-rs / 30020804226

Builds Branch Commit Type Ran Committer Via Coverage
30020804226 main License is now MIT or Apache push vigna github
71.52
30021063857 main Excluded test for miri incompatibility push vigna github
71.52
30017772462 main License is now MIT or Apache push vigna github
71.52
30017108286 main num_arcs_hint -> get_num_arcs push vigna github
71.52
29120196278 main ci: run the Rust and Miri workflows only for main pushes and PRs rust.yml and miri.yml had empty push/pull_request branch filters, so every push to a PR branch triggered both the push and the pull_request event (and tag pushes triggered extra run... push zommiommy github
71.5
29118810699 ci-scope-workflow-triggers Merge 3f77c0a20 into 0fa971ed0 Pull #172 web-flow github
71.44
29117945287 main test(webgraph): isolate the single-thread-pool par_map_fold regression Co-scheduled with the ordered par_map_fold tests in test_utils_coverage, this test's one-thread Rayon pool perturbs Miri's cooperative scheduler enough to trip experimental Tr... push zommiommy github
71.44
29114020038 pr171-orig test(webgraph): isolate the single-thread-pool par_map_fold regression Co-scheduled with the ordered par_map_fold tests in test_utils_coverage, this test's one-thread Rayon pool perturbs Miri's cooperative scheduler enough to trip experimental Tr... Pull #171 zommiommy github
71.44
29114021444 review-fixes test(webgraph): isolate the single-thread-pool par_map_fold regression Co-scheduled with the ordered par_map_fold tests in test_utils_coverage, this test's one-thread Rayon pool perturbs Miri's cooperative scheduler enough to trip experimental Tr... Pull #171 zommiommy github
71.44
29110042904 review-fixes fix(webgraph): satisfy clippy::question_mark in TaskQueue::next The CI clippy step runs with -D warnings, and stable clippy flags the if-let/else-return-None in TaskQueue::next (pre-existing on main) as clippy::question_mark. The ? operator is eq... push zommiommy github
71.44
29110042343 pr171-orig fix(webgraph): satisfy clippy::question_mark in TaskQueue::next The CI clippy step runs with -D warnings, and stable clippy flags the if-let/else-return-None in TaskQueue::next (pre-existing on main) as clippy::question_mark. The ? operator is eq... Pull #171 zommiommy github
71.44
28829100046 review-fixes test: guard mmap-dependent new tests from Miri The default and explicit LoadMmap load paths mprotect anonymous maps, which Miri does not support; the zero-node roundtrip now runs only its LoadMem loads under Miri. The new CLI integration tests ar... Pull #171 zommiommy github
72.76
28829102387 review-fixes Merge 084fb8330 into 19e15bd26 Pull #171 web-flow github
72.76
28828209011 review-fixes test(webgraph): avoid fs::copy in stale-ef test for Miri fs::copy uses copy_file_range, an unsupported syscall under Miri; read plus write exercises the same stale-offsets rejection. push zommiommy github
72.76
28828211183 review-fixes Merge 06923a87e into 19e15bd26 Pull #171 web-flow github
72.76