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

St16 (#9559)

Browse Source 
* fix

* fix path

* one more

* config

* format

* fix

* try again
This commit is contained in:
Abubakar Abid 2024-10-05 16:38:52 -07:00 committed by GitHub
parent 5782b803f6
commit 4ed5339c2b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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