PR Automation

Issue #11109: Avoid `NPE` using `ProjectId` #686

Sign in to view logs

Triggered via pull request September 30, 2025 08:09

gnodet

closed #11178

Status Success

Total duration 12s

Artifacts –

pr-automation.yml

on: pull_request_target

PR Automation / dump-github-context

PR Automation / milestone

PR Automation / milestone-rm

PR Automation / labels

PR Automation / assignees