CI: only lint on PRs.

This commit is contained in:
Jacob Oursland
2025-06-20 09:57:11 -07:00
parent 5ab8e2ef17
commit 11eaa8dc60

View File

@@ -146,7 +146,7 @@ jobs:
commitCnt=$(jq -re '.ahead_by' ${{ env.logdir }}compare.json)
echo "Changeset is composed of $commitCnt commit(s)" | tee -a ${{env.reportdir}}${{ env.reportfilename }}
- name: Get files modified in changeset #TODO check what happens with deleted file in the subsequent process
if: env.isPR == 'true' || env.isPush == 'true'
if: env.isPR == 'true'
env:
API_URL: ${{ github.api_url }}
TOKEN: ${{ github.token }}