Skip to content

ci: Skip merge queue if pull request is up-to-date #1861

ci: Skip merge queue if pull request is up-to-date

ci: Skip merge queue if pull request is up-to-date #1861

Triggered via pull request December 19, 2025 10:36
Status Success
Total duration 6s
Artifacts

validate-pull-request.yml

on: pull_request
Validate title
3s
Validate title
Fit to window
Zoom out
Zoom in