Compare commits
No commits in common. "2b096695a39497f2e3fda57be41f6817711d7cb9" and "f991e1d6edf36c7f8c1e8aaab0e760d355c738d1" have entirely different histories.
2b096695a3
...
f991e1d6ed
1 changed files with 2 additions and 1 deletions
|
|
@ -9,7 +9,8 @@ jobs:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
if: |
|
if: |
|
||||||
github.event.issue.pull_request &&
|
github.event.issue.pull_request &&
|
||||||
contains(github.event.comment.body, '@Claude')
|
contains(github.event.comment.body, '@Claude') &&
|
||||||
|
github.event.sender.type != 'Bot' # Prevents bot loops
|
||||||
steps:
|
steps:
|
||||||
- name: Check out code
|
- name: Check out code
|
||||||
uses: actions/checkout@v4
|
uses: actions/checkout@v4
|
||||||
|
|
|
||||||
Reference in a new issue