Skip to content
Auto Merge PRs from keyman-server

feat(web): subkey-menu fat-finger correction 🐵 #4636

Sign in to view logs

feat(web): subkey-menu fat-finger correction 🐵

feat(web): subkey-menu fat-finger correction 🐵 #4636

Triggered via pull request October 17, 2023 06:58
@jahortonjahorton
opened #9779
feat/web/subkey-corrections
Status Skipped
Total duration 2s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

auto-merge-keyman-server-pr.yml

on: pull_request
build
0s
build
Fit to window
Zoom out
Zoom in