mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2024-12-21 02:19:59 +08:00
Code Issues Packages Projects Releases Wiki Activity
7,184 Commits 265 Branches 3,203 Tags 734 MiB
f109497e82
Commit Graph

1 Commits

Author SHA1 Message Date
pngwn
df1cf8f6c5
Speed up CI by avoiding the need to package (#9791) 
* optimise typechecking

* fix builds
 2024-10-22 15:43:38 +01:00