Skip to content
Back to pull request #10437

Minor: format comments in PushDownFilter rule #28649

Sign in to view logs

Minor: format comments in PushDownFilter rule

Minor: format comments in PushDownFilter rule #28649

Triggered via pull request May 9, 2024 17:40
@alambalamb
edited #10437
Status Success
Total duration 13s
Artifacts –

dev_pr.yml

on: pull_request_target
Process
5s
Process
Fit to window
Zoom out
Zoom in