ci: update of files from global .github repo #979
Triggered via issue
September 28, 2023 13:28
Status
Skipped
Total duration
9s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
automerge-for-humans-add-ready-to-merge-or-do-not-merge-label.yml
on: issue_comment
add-ready-to-merge-label
0s
add-do-not-merge-label
0s
add-autoupdate-label
0s