Merge branch 'main' of https://huggingface.co/spaces/joshzhu/cool 7e143a9 zhucch commited on Dec 6, 2022
Merge branch 'main' of https://huggingface.co/spaces/joshzhu/cool 3da3383 zhucch commited on Dec 6, 2022