From c8afc28e0f3f7d1a3fb612397e39b1b8b9f0a033 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stephan=20Gro=C3=9Fberndt?= Date: Sun, 25 Aug 2024 23:42:27 +0200 Subject: [PATCH] Correct committing changes for pull requests (#453) --- .github/workflows/ci.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index eff06498..4f1fb21e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -74,9 +74,17 @@ jobs: - name: Remove generated documentation tables run: rm -rf ./docs/generated/documentation-tables - - name: Commit changes + - name: Commit changes for push + if: github.event_name == 'push' # only if this is a push to a branch uses: EndBug/add-and-commit@v9 # https://github.com/marketplace/actions/add-commit with: default_author: github_actions message: 'fixup! Fixed linting errors' push: --set-upstream origin "${{steps.get-branch-name.outputs.BRANCH_NAME}}" + + - name: Commit changes for pull_request + if: github.event_name == 'pull_request' # only if this is a pull_request to a branch + uses: EndBug/add-and-commit@v9 # https://github.com/marketplace/actions/add-commit + with: + default_author: github_actions + message: 'fixup! Fixed linting errors'