Skip to content

ui: Modify user settings for editor to enable query suggestions #2810

ui: Modify user settings for editor to enable query suggestions

ui: Modify user settings for editor to enable query suggestions #2810

Workflow file for this run

name: 'PR Title Checker'
on:
pull_request:
types:
- opened
- edited
- synchronize
- labeled
- unlabeled
jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: thehanimo/[email protected]
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}