zhimin-z commited on
Commit
3c54028
·
1 Parent(s): 6b23e07
Files changed (2) hide show
  1. README.md +1 -1
  2. msr.py +5 -5
README.md CHANGED
@@ -57,7 +57,7 @@ We search GitHub using multiple query patterns to catch all PRs associated with
57
  - Co-authored commits (`co-authored-by:`)
58
 
59
  **Regular Updates**
60
- The leaderboard refreshes automatically on the 8nd of each month at 12:00 AM UTC.
61
 
62
  **Community Submissions**
63
  Anyone can submit a coding agent to track via the leaderboard. We store agent metadata in Hugging Face datasets (`SWE-Arena/bot_metadata`) and issue metadata in (`SWE-Arena/issue_metadata`). The leaderboard is dynamically constructed from the issue metadata. All submissions are automatically validated through GitHub's API to ensure the account exists and has public activity.
 
57
  - Co-authored commits (`co-authored-by:`)
58
 
59
  **Regular Updates**
60
+ The leaderboard refreshes automatically on every Wednesday at 12:00 AM UTC.
61
 
62
  **Community Submissions**
63
  Anyone can submit a coding agent to track via the leaderboard. We store agent metadata in Hugging Face datasets (`SWE-Arena/bot_metadata`) and issue metadata in (`SWE-Arena/issue_metadata`). The leaderboard is dynamically constructed from the issue metadata. All submissions are automatically validated through GitHub's API to ensure the account exists and has public activity.
msr.py CHANGED
@@ -22,7 +22,7 @@ load_dotenv()
22
  # CONFIGURATION
23
  # =============================================================================
24
 
25
- AGENTS_REPO = "SWE-Arena/bot_metadata"
26
  LEADERBOARD_REPO = "SWE-Arena/leaderboard_data"
27
  LEADERBOARD_TIME_FRAME_DAYS = 180
28
  GHARCHIVE_DATA_DIR = "../gharchive/data"
@@ -46,8 +46,8 @@ UPLOAD_DELAY_SECONDS = 5
46
  UPLOAD_MAX_BACKOFF = 3600
47
 
48
  # Scheduler configuration
49
- SCHEDULE_ENABLED = False
50
- SCHEDULE_DAY_OF_MONTH = 8
51
  SCHEDULE_HOUR = 0
52
  SCHEDULE_MINUTE = 0
53
  SCHEDULE_TIMEZONE = 'UTC'
@@ -729,7 +729,7 @@ def setup_scheduler():
729
  scheduler = BlockingScheduler(timezone=SCHEDULE_TIMEZONE)
730
 
731
  trigger = CronTrigger(
732
- day=SCHEDULE_DAY_OF_MONTH,
733
  hour=SCHEDULE_HOUR,
734
  minute=SCHEDULE_MINUTE,
735
  timezone=SCHEDULE_TIMEZONE
@@ -745,7 +745,7 @@ def setup_scheduler():
745
 
746
  from datetime import datetime
747
  next_run = trigger.get_next_fire_time(None, datetime.now(trigger.timezone))
748
- print(f"Scheduler: Monthly on day {SCHEDULE_DAY_OF_MONTH} at {SCHEDULE_HOUR:02d}:{SCHEDULE_MINUTE:02d} {SCHEDULE_TIMEZONE}")
749
  print(f"Next run: {next_run}\n")
750
 
751
  print(f"\nScheduler started")
 
22
  # CONFIGURATION
23
  # =============================================================================
24
 
25
+ AGENTS_REPO = "SWE-Arena/bot_data"
26
  LEADERBOARD_REPO = "SWE-Arena/leaderboard_data"
27
  LEADERBOARD_TIME_FRAME_DAYS = 180
28
  GHARCHIVE_DATA_DIR = "../gharchive/data"
 
46
  UPLOAD_MAX_BACKOFF = 3600
47
 
48
  # Scheduler configuration
49
+ SCHEDULE_ENABLED = True
50
+ SCHEDULE_DAY_OF_WEEK = 'wed' # Wednesday
51
  SCHEDULE_HOUR = 0
52
  SCHEDULE_MINUTE = 0
53
  SCHEDULE_TIMEZONE = 'UTC'
 
729
  scheduler = BlockingScheduler(timezone=SCHEDULE_TIMEZONE)
730
 
731
  trigger = CronTrigger(
732
+ day_of_week=SCHEDULE_DAY_OF_WEEK,
733
  hour=SCHEDULE_HOUR,
734
  minute=SCHEDULE_MINUTE,
735
  timezone=SCHEDULE_TIMEZONE
 
745
 
746
  from datetime import datetime
747
  next_run = trigger.get_next_fire_time(None, datetime.now(trigger.timezone))
748
+ print(f"Scheduler: Weekly on {SCHEDULE_DAY_OF_WEEK} at {SCHEDULE_HOUR:02d}:{SCHEDULE_MINUTE:02d} {SCHEDULE_TIMEZONE}")
749
  print(f"Next run: {next_run}\n")
750
 
751
  print(f"\nScheduler started")