This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
Maintainer merge (review) #11531
Triggered via pull request review
December 4, 2023 12:45
YaelDillies
YaelDillies
submitted
3c923a4
Status
Skipped
Total duration
2s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
maintainer_merge_review.yml
on: pull_request_review
Ping maintainers on Zulip
0s