Skip to content
Lint global

fix: Properly merge live- and dead columns in prefiltered #16191

Sign in to view logs

fix: Properly merge live- and dead columns in prefiltered

fix: Properly merge live- and dead columns in prefiltered #16191

Triggered via pull request September 23, 2024 12:53
@coastalwhitecoastalwhite
opened #18862
coastalwhite:fixes/prefiltered-column-merge
Status Success
Total duration 19s
Artifacts –

lint-global.yml

on: pull_request
main
9s
main
Fit to window
Zoom out
Zoom in