mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2024-11-27 01:40:20 +08:00
Code Issues Packages Projects Releases Wiki Activity

semgrep fix (#9548)

Browse Source
This commit is contained in:
Abubakar Abid 2024-10-05 12:10:18 -07:00 committed by GitHub
parent ed8be9055f
commit 79f6e43ea2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
.github/workflows/semgrep_rules.yaml → .github/semgrep_rules.yaml vendored
View File

2
.github/workflows/semgrep.yml vendored
View File

@ -43,7 +43,7 @@ jobs:
with:
repository: ${{ steps.json.outputs.source_repo }}
ref: ${{ steps.json.outputs.sha }}
- run: semgrep ci --config .github/workflows/semgrep_rules.yaml
- run: semgrep ci --config .github/semgrep_rules.yaml
update-status:
permissions:
actions: read