changes to website

[andre15silva]

• [x] add provider name
• [x] add country flag
• [x] add info about prompts
• [x] add info about sampling settings
• [x] add costs in USD
• [x] add info about benchmarks
• [x] add link to github repo results
• [x] add citation placeholder

[andre15silva]

what should the default sorting be?

• [x] plausible to emphasize execution, keep only ast match

• [x] add total column, mean pass@1 values, total cost

[andre15silva]

• [x] RepairBench is the name

[andre15silva]

• [ ] mirror repo should only contain built version of the website
• [ ] mirror repo should always refresh deployment when a new commit is pushed
• [ ] website should be built and deployed automatically on every push to main (no need to run the script locally)
• [ ] account should be organization (https://docs.github.com/en/account-and-profile/setting-up-and-managing-your-personal-account-on-github/managing-your-personal-account/converting-a-user-into-an-organization)

[andre15silva]

• [x] total column should be the only one visible by default, there should be a button that expands the table to show the detailed results
• [x] add disclaimer for o1 results (preliminary results, do not include Defects4J due to cost reasons. pass@1 values should not be directly compared)

[andre15silva]

• [x] add release date
• [x] move partial results to the end of the table
• [x] expand button should say "See details..."
• [x] add names and institution to subtitle of website
• [x] hide release date column from table
• [x] add text about code and prompts
• [x] collect emails of model organizers, send them email after release