Label Core Team PRs

Revert "Fix deadlinks (#7880)" #385

Sign in to view logs

Triggered via pull request July 18, 2025 22:11

poteto

opened #7881

Status Success

Total duration 23s

Artifacts –

label_core_team_prs.yml

on: pull_request_target

check_maintainer / check_maintainer