mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-01-06 10:25:17 +08:00
Code Issues Packages Projects Releases Wiki Activity
4,623 Commits 260 Branches 3,203 Tags 737 MiB
6550d9a7a9
Commit Graph

3 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
pngwn
70981c3732
add ci for ui (#524) 
* add ci for frontend

* add ci for frontend

* fix workflow

* fix format errors
 2022-02-02 15:49:37 +00:00
pngwn
dd94a47f59
add typescript (#521) 2022-02-02 14:02:09 +00:00