fix(windows): bool return value of KeymanIsTextSelected #6509
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # | |
| # Automatically merges pull requests opened by keyman-server | |
| # The initial use of this action is to increment the patch | |
| # version of Keyman with resources/build/increment-version.sh. | |
| # That script creates a PR and then this workflow will be | |
| # triggered to approve the PR (from github-actions account), and | |
| # then automerge it. | |
| # | |
| name: Auto Merge PRs from keyman-server | |
| on: | |
| pull_request: | |
| types: [opened] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository == 'keymanapp/keyman' && github.actor == 'keyman-server' && startsWith(github.event.pull_request.title, 'auto:') }} | |
| steps: | |
| - name: auto approve PR from keyman-server | |
| uses: hmarr/auto-approve-action@v3 | |
| with: | |
| github-token: "${{ secrets.GITHUB_TOKEN }}" | |
| - name: auto merge PR from keyman-server | |
| uses: "pascalgn/automerge-action@7854d3bd607dccdaf0b2c134b699a812c8960213" | |
| env: | |
| GITHUB_TOKEN: "${{ secrets.AUTOINC_GITHUB_TOKEN }}" | |
| MERGE_LABELS: "" | |
| MERGE_FORKS: false |