Minor release - v0.25.0 #3718
Triggered via pull request
July 16, 2026 13:03
efb4f5ff-1298-471a-8973-3d47447115dc
ready_for_review
#9385
Status
Skipped
Total duration
1s
Artifacts
–
remove-outdated-labels.yml
on: pull_request_target
Remove closed and merged pull request labels
Remove labels from draft pull requests
Remove labels when draft pr is marked ready for review