Skip to content

Add missing dot to .github #21056

Add missing dot to .github

Add missing dot to .github #21056

Triggered via pull request January 16, 2025 17:52
Status Skipped
Total duration 1s
Artifacts

move-ready-to-merge-pr.yaml

on: pull_request_target
unmark_for_review
0s
unmark_for_review
Fit to window
Zoom out
Zoom in