ci: commit number 1

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

View File

@ -31,9 +31,11 @@ jobs:
- uses: pre-commit/action@v3.0.0
# TODO: lint range of commits, not only the latest pushed
- name: Gitlint
- name: Gitlint on range
# yamllint disable-line rule:line-length
if: ${{ github.after != github.sha }}
run: gitlint --debug --commits "${{ github.after }}..${{ github.sha }}"
if: ${{ github.after == github.sha }}
run: gitlint --debug --commits "${{ github.sha }}"
run: |
if test ${{ github.after }} == ${{ github.sha }}; then
gitlint --debug --commits "${{ github.sha }}"
else
gitlint --debug --commits "${{ github.after }}..${{ github.sha }}"
fi