Skip to content

Auto Merge PRs from keyman-server #10

Auto Merge PRs from keyman-server

Auto Merge PRs from keyman-server #10

Triggered via pull request review October 27, 2023 23:18
@mcdurdinmcdurdin
submitted 42b85ee
Status Success
Total duration 10s
Artifacts

auto-merge-keyman-server-pr.yml

on: pull_request_review
automerge
2s
automerge
Fit to window
Zoom out
Zoom in