Auto Merge PRs from keyman-server #3
Triggered via pull request review
October 26, 2023 02:43
darcywong00
darcywong00
submitted
a375e17
Status
Success
Total duration
13s
Artifacts
–
auto-merge-keyman-server-pr.yml
on: pull_request_review
automerge
3s