Skip to content
Lint

fix: use whitespace intersection for filtered text queries #2115

Sign in to view logs

fix: use whitespace intersection for filtered text queries

fix: use whitespace intersection for filtered text queries #2115

Triggered via pull request August 31, 2026 11:19
@limjoobinlimjoobin
opened #709
fix/filtered-text-queries-intersection
Status Success
Total duration 2m 40s
Artifacts –

lint.yml

on: pull_request
Matrix: check
Fit to window
Zoom out
Zoom in