pkalkman commited on
Commit
1c34187
Β·
1 Parent(s): 65e3d4b

fix issue with datetime

Browse files
Files changed (1) hide show
  1. app.py +6 -7
app.py CHANGED
@@ -181,16 +181,15 @@ def get_last_refresh_time(path) -> str:
181
 
182
 
183
  with block:
184
- gr.Markdown("""
185
- # πŸ† Deep Reinforcement Learning Course Leaderboard πŸ†
186
-
187
- Presenting the latest leaderboard from the Hugging Face Deep RL Course.
188
- """)
189
-
190
  path_ = download_leaderboard_dataset()
191
-
192
  # Get the last refresh time
193
  last_refresh_time = get_last_refresh_time(path_)
 
 
 
 
 
 
194
 
195
  gr.Markdown(f"**Last Data Refresh:** {last_refresh_time}")
196
 
 
181
 
182
 
183
  with block:
 
 
 
 
 
 
184
  path_ = download_leaderboard_dataset()
 
185
  # Get the last refresh time
186
  last_refresh_time = get_last_refresh_time(path_)
187
+
188
+ gr.Markdown(f"""
189
+ # πŸ† Deep Reinforcement Learning Course Leaderboard πŸ†
190
+
191
+ Presenting the latest leaderboard from the Hugging Face Deep RL Course - refresh ({last_refresh_time}).
192
+ """)
193
 
194
  gr.Markdown(f"**Last Data Refresh:** {last_refresh_time}")
195