Update app.py
Browse files
app.py
CHANGED
@@ -29,7 +29,7 @@ def get_result(task_id):
|
|
29 |
return response.json()
|
30 |
|
31 |
# Title
|
32 |
-
st.title("_Monolith_ is :blue[cool]")
|
33 |
|
34 |
# Language
|
35 |
lang = st.selectbox("Language?", lang_map.keys(), help="the language for submission.")
|
@@ -87,4 +87,4 @@ if response_dict['type'] == 'submit':
|
|
87 |
st.write(f"**Elapsed Time:** :blue[{response['output_dict']['time_v']['elapsed_time_seconds']}], **System Time:** :blue[{response['output_dict']['time_v']['system_time']}], **User Time:** :blue[{response['output_dict']['time_v']['user_time']}], **Peak Memory:** :blue[{response['output_dict']['time_v']['max_resident_set_kb']}] kb")
|
88 |
|
89 |
else:
|
90 |
-
st.error(response)
|
|
|
29 |
return response.json()
|
30 |
|
31 |
# Title
|
32 |
+
st.title("_Monolith_ is :blue[cool] :sunglasses:")
|
33 |
|
34 |
# Language
|
35 |
lang = st.selectbox("Language?", lang_map.keys(), help="the language for submission.")
|
|
|
87 |
st.write(f"**Elapsed Time:** :blue[{response['output_dict']['time_v']['elapsed_time_seconds']}], **System Time:** :blue[{response['output_dict']['time_v']['system_time']}], **User Time:** :blue[{response['output_dict']['time_v']['user_time']}], **Peak Memory:** :blue[{response['output_dict']['time_v']['max_resident_set_kb']}] kb")
|
88 |
|
89 |
else:
|
90 |
+
st.error(response)
|