Hugging Face's logo

Spaces:
ought
/
raft-leaderboard
Runtime error

App Files Community
21
lewtun HF staff commited on
Commit
3762823
•
1 Parent(s): 2005b19

Bump down to st 1.14

Browse files
Files changed (2) hide show
  1. README.md +1 -1
  2. app.py +1 -0
README.md CHANGED
@@ -4,7 +4,7 @@ emoji: 🥇
4
  colorFrom: gray
5
  colorTo: red
6
  sdk: streamlit
7
- sdk_version: 1.15.2
8
  app_file: app.py
9
  pinned: false
10
  ---
 
4
  colorFrom: gray
5
  colorTo: red
6
  sdk: streamlit
7
+ sdk_version: 1.14
8
  app_file: app.py
9
  pinned: false
10
  ---
app.py CHANGED
@@ -95,6 +95,7 @@ To submit to RAFT, follow the instruction posted on [this page](https://huggingf
95
  """
96
  )
97
  submissions = download_submissions()
 
98
  df = format_submissions(submissions)
99
  styler = df.style.set_precision(3).set_properties(**{"white-space": "pre-wrap", "text-align": "center"})
100
  # hack to remove index column: https://discuss.streamlit.io/t/questions-on-st-table/6878/3
 
95
  """
96
  )
97
  submissions = download_submissions()
98
+ print(f"INFO - downloaded {len(submissions)} submissions")
99
  df = format_submissions(submissions)
100
  styler = df.style.set_precision(3).set_properties(**{"white-space": "pre-wrap", "text-align": "center"})
101
  # hack to remove index column: https://discuss.streamlit.io/t/questions-on-st-table/6878/3