unknown commited on
Commit
a5b8c9c
·
1 Parent(s): c98d375
Files changed (2) hide show
  1. app.py +1 -6
  2. envs.py +0 -17
app.py CHANGED
@@ -9,10 +9,7 @@ from about import (
9
  TITLE,
10
  )
11
  from css_html_js import custom_css
12
- from envs import API, REPO_ID
13
 
14
- def restart_space():
15
- API.restart_space(repo_id=REPO_ID)
16
 
17
  LEADERBOARD_DATA = [
18
  {"name": "Intern-S1", "type": "Open", "scores": [15.74, 38.09, 28.79, 29.02, 28.87]},
@@ -93,7 +90,5 @@ with demo:
93
  show_copy_button=True,
94
  )
95
 
96
- scheduler = BackgroundScheduler()
97
- scheduler.add_job(restart_space, "interval", seconds=30)
98
- scheduler.start()
99
  demo.queue(default_concurrency_limit=40).launch()
 
9
  TITLE,
10
  )
11
  from css_html_js import custom_css
 
12
 
 
 
13
 
14
  LEADERBOARD_DATA = [
15
  {"name": "Intern-S1", "type": "Open", "scores": [15.74, 38.09, 28.79, 29.02, 28.87]},
 
90
  show_copy_button=True,
91
  )
92
 
93
+
 
 
94
  demo.queue(default_concurrency_limit=40).launch()
envs.py DELETED
@@ -1,17 +0,0 @@
1
- import os
2
-
3
- from huggingface_hub import HfApi
4
-
5
- # Info to change for your repository
6
- # ----------------------------------
7
- TOKEN = os.environ.get("HF_TOKEN") # A read/write token for your org
8
-
9
- OWNER = "InternScience" # Change to your org - don't forget to create a results and request dataset, with the correct format!
10
- # ----------------------------------
11
-
12
- REPO_ID = f"{OWNER}/SGI-Bench-Leaderboard"
13
-
14
- # If you setup a cache later, just change HF_HOME
15
- CACHE_PATH=os.getenv("HF_HOME", ".")
16
-
17
- API = HfApi(token=TOKEN)