Update
Browse files
app.py
CHANGED
|
@@ -22,7 +22,7 @@ else:
|
|
| 22 |
with st.spinner("Loading Framework...", show_time=True):
|
| 23 |
df = pd.DataFrame(
|
| 24 |
{
|
| 25 |
-
"problem_id": [problem['problem_id'] for problem in ds],
|
| 26 |
"problem_link": ["https://huggingface.co/spaces/Elfsong/CodeArena/?problem=" + str(problem['problem_id']) for problem in ds],
|
| 27 |
"dynamic_point": [[random.randint(0, 5000) for _ in range(30)] for problem in ds],
|
| 28 |
}
|
|
@@ -34,7 +34,7 @@ else:
|
|
| 34 |
st.dataframe(
|
| 35 |
df,
|
| 36 |
column_config={
|
| 37 |
-
"problem_id": st.column_config.
|
| 38 |
"dynamic_point": st.column_config.LineChartColumn("Dynamic Point", y_min=0, y_max=5000),
|
| 39 |
"problem_link": st.column_config.LinkColumn("Link", display_text="Open"),
|
| 40 |
},
|
|
|
|
| 22 |
with st.spinner("Loading Framework...", show_time=True):
|
| 23 |
df = pd.DataFrame(
|
| 24 |
{
|
| 25 |
+
"problem_id": [int(problem['problem_id']) for problem in ds],
|
| 26 |
"problem_link": ["https://huggingface.co/spaces/Elfsong/CodeArena/?problem=" + str(problem['problem_id']) for problem in ds],
|
| 27 |
"dynamic_point": [[random.randint(0, 5000) for _ in range(30)] for problem in ds],
|
| 28 |
}
|
|
|
|
| 34 |
st.dataframe(
|
| 35 |
df,
|
| 36 |
column_config={
|
| 37 |
+
"problem_id": st.column_config.NumberColumn("Problem ID"),
|
| 38 |
"dynamic_point": st.column_config.LineChartColumn("Dynamic Point", y_min=0, y_max=5000),
|
| 39 |
"problem_link": st.column_config.LinkColumn("Link", display_text="Open"),
|
| 40 |
},
|