diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/comment-config-changes.yml | 19 | ||||
| -rw-r--r-- | .github/workflows/lint.yml | 2 |
2 files changed, 1 insertions, 20 deletions
diff --git a/.github/workflows/comment-config-changes.yml b/.github/workflows/comment-config-changes.yml deleted file mode 100644 index 5bcc8008..00000000 --- a/.github/workflows/comment-config-changes.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: "Check changes to config" -on: [pull_request_target] -jobs: - check-config-changes: - runs-on: ubuntu-latest - permissions: - pull-requests: write - env: - PR_NUMBER: ${{ github.event.pull_request.number }} - GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} - steps: - - uses: actions/checkout@v4 - with: - fetch-depth: 0 - ref: ${{ github.event.pull_request.head.sha }} - - run: | - if ! git diff origin/$GITHUB_BASE_REF...$(git branch --show-current) --exit-code -- doc/configs.md doc/configs.txt; then - gh pr comment $PR_NUMBER --body 'Note that `configs.md` or `configs.txt` will be regenerated by the docgen CI process. Edit the Lua source file instead. For details on generating documentation, see: https://github.com/neovim/nvim-lspconfig/blob/master/CONTRIBUTING.md#generating-docs' - fi diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 20b9b6ae..208b0d48 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -9,7 +9,7 @@ concurrency: cancel-in-progress: ${{ github.event_name == 'pull_request' }} jobs: - deprecated-functions: + lint: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 |