Skip to content

feat: Implement RowSelection API for efficient row filtering (Phase 1) #107

feat: Implement RowSelection API for efficient row filtering (Phase 1)

feat: Implement RowSelection API for efficient row filtering (Phase 1) #107

Triggered via pull request October 5, 2025 09:25
Status Success
Total duration 2m 35s
Artifacts

ci.yml

on: pull_request
Matrix: Clippy
Spell Check with Typos
40s
Spell Check with Typos
Toml Check
11s
Toml Check
Rustfmt
13s
Rustfmt
Check license header
2m 25s
Check license header
Cargo Deny License Check
21s
Cargo Deny License Check
Matrix: Check
Fit to window
Zoom out
Zoom in