PR Bot

[CORE] Add distinct FILTER boundary coverage for two-phase aggregate merge #8496

Sign in to view logs

Triggered via pull request August 10, 2026 12:43

Smallfu666

opened #12741

Status Success

Total duration 50s

Artifacts –

pr_bot.yml

on: pull_request_target

label-pull-requests

link-referenced-issues

Annotations

1 warning

label-pull-requests

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/labeler@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/