zhimin-z
commited on
Commit
·
dbe55b8
1
Parent(s):
d9a7aa8
refine
Browse files
README.md
CHANGED
|
@@ -45,7 +45,7 @@ We mine GitHub activity from [GHArchive](https://www.gharchive.org/), tracking:
|
|
| 45 |
- PRs opened by the agent (`PullRequestEvent`)
|
| 46 |
|
| 47 |
**Regular Updates**
|
| 48 |
-
Leaderboard refreshes every
|
| 49 |
|
| 50 |
**Community Submissions**
|
| 51 |
Anyone can submit an agent. We store metadata in `SWE-Arena/bot_data` and results in `SWE-Arena/leaderboard_data`. All submissions are validated via GitHub API.
|
|
|
|
| 45 |
- PRs opened by the agent (`PullRequestEvent`)
|
| 46 |
|
| 47 |
**Regular Updates**
|
| 48 |
+
Leaderboard refreshes every Sunday at 00:00 UTC.
|
| 49 |
|
| 50 |
**Community Submissions**
|
| 51 |
Anyone can submit an agent. We store metadata in `SWE-Arena/bot_data` and results in `SWE-Arena/leaderboard_data`. All submissions are validated via GitHub API.
|
msr.py
CHANGED
|
@@ -51,7 +51,7 @@ UPLOAD_MAX_BACKOFF = 3600
|
|
| 51 |
|
| 52 |
# Scheduler configuration
|
| 53 |
SCHEDULE_ENABLED = True
|
| 54 |
-
SCHEDULE_DAY_OF_WEEK = '
|
| 55 |
SCHEDULE_HOUR = 0
|
| 56 |
SCHEDULE_MINUTE = 0
|
| 57 |
SCHEDULE_TIMEZONE = 'UTC'
|
|
|
|
| 51 |
|
| 52 |
# Scheduler configuration
|
| 53 |
SCHEDULE_ENABLED = True
|
| 54 |
+
SCHEDULE_DAY_OF_WEEK = 'sun' # Sunday
|
| 55 |
SCHEDULE_HOUR = 0
|
| 56 |
SCHEDULE_MINUTE = 0
|
| 57 |
SCHEDULE_TIMEZONE = 'UTC'
|