mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2024-11-21 01:01:05 +08:00
Code Issues Packages Projects Releases Wiki Activity
7,215 Commits 258 Branches 3,079 Tags 723 MiB
main
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