Ignore zizmor reports.
This commit is contained in:
committed by
Benoit Marty
parent
17f45d091a
commit
8cf06b13b0
2
.github/workflows/fork-pr-notice.yml
vendored
2
.github/workflows/fork-pr-notice.yml
vendored
@@ -2,7 +2,7 @@ name: Community PR notice
|
||||
|
||||
on:
|
||||
workflow_dispatch:
|
||||
pull_request_target:
|
||||
pull_request_target: # zizmor: ignore[dangerous-triggers]
|
||||
types:
|
||||
- opened
|
||||
- reopened
|
||||
|
||||
2
.github/workflows/pull_request.yml
vendored
2
.github/workflows/pull_request.yml
vendored
@@ -2,7 +2,7 @@ name: Pull Request
|
||||
on:
|
||||
pull_request_target:
|
||||
types: [ opened, edited, labeled, unlabeled, synchronize ]
|
||||
workflow_call:
|
||||
workflow_call: # zizmor: ignore[dangerous-triggers]
|
||||
secrets:
|
||||
ELEMENT_BOT_TOKEN:
|
||||
required: true
|
||||
|
||||
Reference in New Issue
Block a user