ci: commit number 1

This commit is contained in:
Ben Grande 2023-11-06 19:08:44 +00:00
parent 85f906a820
commit 392978bc4c
No known key found for this signature in database
GPG Key ID: 00C64E14F51F9E56

View File

@ -33,4 +33,7 @@ jobs:
# TODO: lint range of commits, not only the latest pushed
- name: Gitlint
# yamllint disable-line rule:line-length
run: gitlint --debug --commits "${{ github.base_ref }}..${{ github.sha }}"
if: ${{ github.after != github.sha }}
run: gitlint --debug --commits "${{ github.after }}..${{ github.sha }}"
if: ${{ github.after == github.sha }}
run: gitlint --debug --commits "${{ github.sha }}"