diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2023-01-25 18:31:55 +0000 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2023-01-25 18:31:55 +0000 |
| commit | 067dc73729267c0262438a6fdd66e586f8496946 (patch) | |
| tree | d2e832f1a08083fd1457aaba9a774e72d69e5266 /.github/workflows/commitlint.yml | |
| parent | cd16d3df4c2a21ada895a1353712969045e5c728 (diff) | |
| parent | 3c48d3c83fc21dbc0841f9210f04bdb073d73cd1 (diff) | |
| download | rneovim-067dc73729267c0262438a6fdd66e586f8496946.tar.gz rneovim-067dc73729267c0262438a6fdd66e586f8496946.tar.bz2 rneovim-067dc73729267c0262438a6fdd66e586f8496946.zip | |
Merge remote-tracking branch 'upstream/master' into fix_repeatcmdline
Diffstat (limited to '.github/workflows/commitlint.yml')
| -rw-r--r-- | .github/workflows/commitlint.yml | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/.github/workflows/commitlint.yml b/.github/workflows/commitlint.yml deleted file mode 100644 index 68be5436f6..0000000000 --- a/.github/workflows/commitlint.yml +++ /dev/null @@ -1,23 +0,0 @@ -name: "Commit Linter" -on: - # Only pull_request and push honor [skip ci]. Since this workflow must pass - # to merge a PR, it can't be skipped, so use pull_request_target - pull_request_target: - types: [opened, synchronize, reopened, ready_for_review] - branches: - - 'master' -jobs: - lint-commits: - runs-on: ubuntu-latest - if: github.event.pull_request.draft == false - steps: - - uses: actions/checkout@v3 - with: - fetch-depth: 0 - ref: ${{ github.event.pull_request.head.sha }} - path: pr_nvim - - uses: rhysd/action-setup-vim@v1 - with: - neovim: true - - run: wget https://raw.githubusercontent.com/neovim/neovim/master/scripts/lintcommit.lua - - run: nvim --clean -es +"cd pr_nvim" +"lua dofile('../lintcommit.lua').main({trace=true})" |