mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-03-25 12:10:31 +08:00
Code Issues Packages Projects Releases Wiki Activity

St15 (#9558)

Browse Source 
* fix

* fix path

* one more

* config

* format

* fix
This commit is contained in:
Abubakar Abid 2024-10-05 16:33:22 -07:00 committed by GitHub
parent f2d97eb1e8
commit 5782b803f6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -24,7 +24,9 @@ jobs:
runs-on: ubuntu-latest
container:
image: semgrep/semgrep
options: --volume ${{ github.workspace }}/.github/configs:/mnt/
volumes:
${{ github.workspace }}/.github/configs:/mnt/
options: --name semgrepcicontainer
outputs:
pr_number: ${{ steps.json.outputs.pr_number }}
sha: ${{ steps.json.outputs.sha }}
@ -44,6 +46,10 @@ jobs:
with:
repository: ${{ steps.json.outputs.source_repo }}
ref: ${{ steps.json.outputs.sha }}
- name: restart_semgrepcicontainer
uses: docker://docker
with:
args: docker restart semgrepcicontainer
- run: ls -la /mnt
- run: semgrep ci --config=/mnt/semgrep_rules.yaml
update-status: