Skip to content
Auto Merge PRs from keyman-server

fix(android): improve resource-update tool handling of host Activity's closure #6613

Sign in to view logs

fix(android): improve resource-update tool handling of host Activity's closure

fix(android): improve resource-update tool handling of host Activity's closure #6613

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
0s
0s