allanrenucci / bench

benchmark compilation of Dotty

Home Page:http://dotty-bench.epfl.ch

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Bench

Benchmarking Dotty

Usage

  • bin/master: used for benchmarking the master
  • bin/run: for manually benchmarking a specific period (after 2017.10.27)
  • bin/pull: for testing a specific pull request

Check the documentation in the source code of each command for more detail.

Add Test

Update the two files below:

  • bin/charts.js
  • bin/plan

Schedule a regression job

  • Put regression jobs as scripts under jobs/.
  • Remember to use absolute path with the $PROG_HOME variable

Dependencies

Deployment

  • Install all dependencies listed above
  • Clone current project and its submodules, submodules of submodules
  • Checkout the branch gh-pages of current project as a folder site under current project
  • In dotty folder, run git remote add staging https://github.com/dotty-staging/dotty.git
  • Update configuration in bin/config
  • Setup cron jobs listed in bin/cron, run bin/cpu once, start bin/poll and bin/queue
  • Authorize ghi config --auth, make sure it works from command line
  • Make sure git can push to current project

About

benchmark compilation of Dotty

http://dotty-bench.epfl.ch


Languages

Language:Scala 97.8%Language:Shell 1.8%Language:JavaScript 0.4%