Spaces:

ought
/

raft-leaderboard

Runtime error

lewtun HF staff commited on Aug 28, 2021

Commit

799efa5

1 Parent(s): e6e423f

Revert formatting

Files changed (1) hide show

app.py CHANGED Viewed

@@ -99,4 +99,5 @@ submissions = download_submissions()
 df = format_submissions(submissions)
 # hack to remove index column from https://github.com/streamlit/streamlit/issues/641
 # st.table(df.assign(hack="").set_index("hack").style.format(precision=3))
-st.table(df.assign(hack="").set_index("hack").style.format({task: "{:.3f}" for task in FORMATTED_TASK_NAMES}))

 df = format_submissions(submissions)
 # hack to remove index column from https://github.com/streamlit/streamlit/issues/641
 # st.table(df.assign(hack="").set_index("hack").style.format(precision=3))
+# st.table(df.assign(hack="").set_index("hack").style.format({task: "{:.3f}" for task in FORMATTED_TASK_NAMES}))
+st.table(df.assign(hack="").set_index("hack"))