Make PRs only if a new commit was made. #18

Merged
Philipp merged 2 commits from opt-pr into main 2023-11-21 21:08:25 +01:00
Showing only changes of commit 8619177ce0 - Show all commits

View File

@ -17,7 +17,6 @@ jobs:
shell: bash
- run: pre-commit autoupdate
shell: bash
- run: git status | grep test
- name: Commit
uses: stefanzweifel/git-auto-commit-action@v5
with: