Skip to content

[lsp-magik] Add extra settings, re-order and remove obsolete setting #2601

[lsp-magik] Add extra settings, re-order and remove obsolete setting

[lsp-magik] Add extra settings, re-order and remove obsolete setting #2601

Workflow file for this run

name: "PR Labeler"
on:
- pull_request_target
jobs:
triage:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: true