This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
Maintainer merge (review) #11530
Triggered via pull request review
December 4, 2023 12:41
eric-wieser
eric-wieser
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