vigna / webgraph-rs

71%

LAST BUILD ON BRANCH main

branch: main

CHANGE BRANCH

x

Reset

• main
• MemoryFactory-unaligned
• arclistgraph-iter_from
• batch-codec
• bvcomp-empty-lender
• bvcomp-pl
• ci-scope-workflow-triggers
• comp-early-chunk-cleaning
• create-tmpdir
• edition2024
• epserde-sccs
• feat/bit-serde-codes
• fix-compil
• impl-sortediterator
• labeled_pairs
• llp-mmap-labels
• memcase
• minmax
• nth
• par-sort-pairs
• par_sort_graph_rayon
• par_sort_pairs-crossbeam
• parsortpairs-drop-threadstate
• parsortpairs-result
• patch-2
• pr171-orig
• review-fixes
• rightiterator-sorted
• sccs-copy
• theft
• top-k-analysis
• webgraph-0.4.0
• webgraph-0.5.0
• webgraph-0.6.0
• webgraph-0.6.1
• webgraph-0.6.2
• webgraph-algo-0.4.0
• webgraph-algo-0.5.0
• webgraph-algo-0.6.0
• webgraph-algo-0.6.1
• webgraph-algo-0.6.2
• webgraph-cli-0.2.0
• webgraph-cli-0.3.0
• webgraph-cli-0.4.0
• webgraph-cli-0.4.1
• webgraph-cli-0.4.2

Build # 29120196278

Build Type

push

github

Committed by zommiommy

Commit Message

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 runs), duplicating every check. Scope both to the main branch, matching llp.yml, so a pull request runs each check once.

Coverage Stats

8015 of 11210 relevant lines covered (71.5%)

48772122.82 hits per line