Skip to content

Actions: keymanapp/keyman

Auto Merge PRs from keyman-server

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,949 workflow runs
1,949 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(developer): Project MRU now saves correctly
Auto Merge PRs from keyman-server #4712: Pull request #9902 opened by mcdurdin
October 31, 2023 03:54 2s fix/developer/9899-project-mru
October 31, 2023 03:54 2s
auto: increment master version to 17.0.204
Auto Merge PRs from keyman-server #4710: Pull request #9900 opened by keyman-server
October 30, 2023 23:35 24s auto/version-master-17.0.204
October 30, 2023 23:35 24s
chore: include ci/pull-requests.inc.sh for help uploads
Auto Merge PRs from keyman-server #4708: Pull request #9897 opened by mcdurdin
October 30, 2023 21:51 2s chore/ci-pull-requests
October 30, 2023 21:51 2s
auto: increment master version to 17.0.203
Auto Merge PRs from keyman-server #4706: Pull request #9895 opened by keyman-server
October 30, 2023 18:02 30s auto/version-master-17.0.203
October 30, 2023 18:02 30s
fix(web): better cleanup of cancelled gestures 🐵
Auto Merge PRs from keyman-server #4705: Pull request #9893 opened by jahorton
October 30, 2023 09:17 2s fix/web/cancelled-gesture-cleanup
October 30, 2023 09:17 2s
chore(common): unify pull-request creation scripts
Auto Merge PRs from keyman-server #4701: Pull request #9888 opened by mcdurdin
October 29, 2023 23:23 3s chore/common/open-pull-request-script
October 29, 2023 23:23 3s
auto: increment master version to 17.0.202
Auto Merge PRs from keyman-server #4700: Pull request #9887 opened by keyman-server
October 28, 2023 18:02 25s auto/version-master-17.0.202
October 28, 2023 18:02 25s
auto: increment master version to 17.0.201
Auto Merge PRs from keyman-server #4699: Pull request #9883 opened by keyman-server
October 27, 2023 18:02 22s auto/version-master-17.0.201
October 27, 2023 18:02 22s
fix(linux): Fix uninstallation of shared keyboard
Auto Merge PRs from keyman-server #4698: Pull request #9880 opened by ermshiperete
October 27, 2023 17:33 2s fix/linux/9879_UninstallShared
October 27, 2023 17:33 2s
chore(linux): Add Core API version number 🎬
Auto Merge PRs from keyman-server #4697: Pull request #9877 opened by ermshiperete
October 27, 2023 13:25 3s chore/linux/9801_apiversion
October 27, 2023 13:25 3s
feat(web): implementation of modipress, integration with multitap 🐵
Auto Merge PRs from keyman-server #4696: Pull request #9876 opened by jahorton
October 27, 2023 06:55 2s feat/web/modipress
October 27, 2023 06:55 2s
chore: merge master into feature-gestures
Auto Merge PRs from keyman-server #4694: Pull request #9872 opened by keyman-server
October 27, 2023 02:20 2s chore/merge-master-into-feature-gestures
October 27, 2023 02:20 2s
chore: merge master into linux-mcompile 🐘
Auto Merge PRs from keyman-server #4693: Pull request #9870 opened by keyman-server
October 27, 2023 02:19 3s chore/merge-master-into-linux-mcompile
October 27, 2023 02:19 3s
auto: increment master version to 17.0.200
Auto Merge PRs from keyman-server #4692: Pull request #9868 opened by keyman-server
October 26, 2023 18:03 27s auto/version-master-17.0.200
October 26, 2023 18:03 27s
chore(core): Add additional API checks 🎬
Auto Merge PRs from keyman-server #4691: Pull request #9867 opened by ermshiperete
October 26, 2023 15:45 2s chore/linux/9801_coreversion
October 26, 2023 15:45 2s
chore(linux): Refactor deb-packaging.sh script 🎬
Auto Merge PRs from keyman-server #4690: Pull request #9866 opened by ermshiperete
October 26, 2023 15:24 3s refactor/linux/packagingScript
October 26, 2023 15:24 3s
chore(linux): Improve repository_dispatch 🎬
Auto Merge PRs from keyman-server #4689: Pull request #9865 opened by ermshiperete
October 26, 2023 15:23 3s chore/linux/9548_manualTrigger
October 26, 2023 15:23 3s
ProTip! You can narrow down the results and go further in time using created:<2023-10-26 or the other filters available.