dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-06-01 02:05:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Update the modification date in the leaderboard index page based on the latest modification time of the related files

Browse source
This commit is contained in:
Paul Gauthier (aider) 2024-07-29 13:13:56 -03:00
parent 2ec8099319
commit a67da8a133
1 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

12
aider/website/docs/leaderboards/index.md
View file

@ -11,9 +11,15 @@ last updated
import os import os
import datetime import datetime
file_path = 'aider/website/docs/leaderboards/index.md' files = [
mod_time = os.path.getmtime(file_path) 'aider/website/docs/leaderboards/index.md',
mod_date = datetime.datetime.fromtimestamp(mod_time) 'aider/website/_data/edit_leaderboard.yml',
'aider/website/_data/refactor_leaderboard.yml'
]
mod_times = [os.path.getmtime(file) for file in files]
latest_mod_time = max(mod_times)
mod_date = datetime.datetime.fromtimestamp(latest_mod_time)
cog.out(f"{mod_date.strftime('%B %d, %Y.')}") cog.out(f"{mod_date.strftime('%B %d, %Y.')}")
]]]--> ]]]-->
July 29, 2024. July 29, 2024.