Add new PRs to github project

FIX fix merge-up #453

Sign in to view logs

Triggered via pull request July 23, 2025 22:46

opened #11800

Status Success

Total duration 8s

Artifacts –

add-prs-to-project.yml

on: pull_request_target

Add PR to GitHub Project