try to set Gradio version using workaround

app.py

@@ -1,3 +1,9 @@
+
+# https://discuss.huggingface.co/t/how-to-install-a-specific-version-of-gradio-in-spaces/13552
+import os
+os.system("pip uninstall -y gradio")
+os.system("pip install git+https://github.com/yiyuezhuo/gradio@cmo_pinned")
+
 import gradio as gr
 from cmo_db_inspector import App
 from pathlib import Path