Skip to content

Rename BaseFilter to QueryFilter #2386

Rename BaseFilter to QueryFilter

Rename BaseFilter to QueryFilter #2386

Triggered via pull request July 23, 2026 09:09
@bjoernricksbjoernricks
synchronize #5445
Status Skipped
Total duration 8s
Artifacts

auto-merge.yml

on: pull_request_target
auto-merge  /  auto-merge
0s
auto-merge / auto-merge
Fit to window
Zoom out
Zoom in