Not for pull requests

This commit is contained in:
Alexandre
2025-06-24 11:02:08 +02:00
committed by GitHub
parent 1a80ee121d
commit 57ad95ac7d

View File

@@ -69,6 +69,7 @@ jobs:
- name: Commit if needed
uses: EndBug/add-and-commit@v9
if: github.event_name != 'pull_request'
with:
commit: -u
message: "GitHub bot: fix linting issues (nobuild)"