mirror of
https://github.com/gradio-app/gradio.git
synced 2025-04-06 12:30:29 +08:00
rename (#9532)
This commit is contained in:
parent
39a3ed4578
commit
4721c5e088
2
.github/workflows/trigger-semgrep.yml
vendored
2
.github/workflows/trigger-semgrep.yml
vendored
@ -1,4 +1,4 @@
|
||||
name: trigger-changeset
|
||||
name: trigger-semgrep
|
||||
on:
|
||||
pull_request:
|
||||
branches:
|
||||
|
Loading…
x
Reference in New Issue
Block a user