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
4,312 Commits 258 Branches 3,079 Tags 723 MiB
d7db15fb07
Commit Graph

1 Commits

Author SHA1 Message Date
pngwn
817819d7a1
Fix the types (#1843) 
* fix types

* fail CI when typechecking fails

* maybe fix

* more fix

* remove all rferences to theme

* fix login
 2022-07-21 19:12:46 +01:00