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

tweak (#4606)

Browse Source
This commit is contained in:
pngwn 2023-06-21 16:16:56 +01:00 committed by GitHub
parent 29de12a7b0
commit 0ca7c34d44
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
renovate.json
View File

@ -7,5 +7,5 @@
"group:allNonMajor",
":semanticCommitTypeAll(chore)"
],
"ignorePaths": ["**/demo/**", "**/requirements.txt"]
"ignorePaths": ["**/demo/**", "**/requirements.txt", "**/Dockerfile"]
}