|
|
@@ -12,11 +12,11 @@ jobs:
|
|
|
runs-on: ubuntu-20.04
|
|
|
if: |
|
|
|
(github.event_name == 'issue_comment' && (
|
|
|
- contains(github.event.comment.body, 'CRASH') ||
|
|
|
- contains(github.event.comment.body, 'WATCHDOG'))) ||
|
|
|
+ contains(github.event.comment.body, 'CRASH!') ||
|
|
|
+ contains(github.event.comment.body, 'WATCHDOG TIMEOUT'))) ||
|
|
|
(github.event_name == 'issues' && (
|
|
|
- contains(github.event.issue.body, 'CRASH') ||
|
|
|
- contains(github.event.issue.body, 'WATCHDOG')))
|
|
|
+ contains(github.event.issue.body, 'CRASH!') ||
|
|
|
+ contains(github.event.issue.body, 'WATCHDOG TIMEOUT')))
|
|
|
permissions:
|
|
|
issues: write
|
|
|
|