Check PR milestone

Making docs index match better with github 'About' description #5905

Sign in to view logs

Triggered via pull request July 28, 2025 17:28

rosteen

demilestoned #3338

Status Cancelled

Total duration 5s

Artifacts –

check_milestone.yml

on: pull_request_target

milestone_checker

Annotations

1 error

Check PR milestone

Canceling since a higher priority waiting request for Check PR milestone-refs/heads/main exists