Skip to content

Minor: rename row_groups.rs to row_group_filter.rs #29965

Minor: rename row_groups.rs to row_group_filter.rs

Minor: rename row_groups.rs to row_group_filter.rs #29965

Triggered via pull request July 15, 2024 21:46
Status Success
Total duration 18s
Artifacts

dev.yml

on: pull_request
Release Audit Tool (RAT)
6s
Release Audit Tool (RAT)
Use prettier to check formatting of documents
9s
Use prettier to check formatting of documents
Fit to window
Zoom out
Zoom in