Make HTML

Generate the bench website https://coq-bench.github.io/.

Generate the HTML

Install Ruby and download the benchmarks database to ../database/:

curl -L https://github.com/coq-bench/database/archive/master.tar.gz |tar -xz
mv database-master ../database

Generate the HTML files to html/:

make

View the generated HTML on localhost:8080:

make serve

To send a summary of the results of the last bench iterations in the past nb_hours hours to a Gitter room (like in coq/opam-bench-reports):

sudo gem install ruby-gitter
ruby push_to_gitter.rb database_path token_path room_name nb_hours

Name		Name	Last commit message	Last commit date
Latest commit History 148 Commits
pictures		pictures
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
black_list.rb		black_list.rb
bootstrap-custom.css		bootstrap-custom.css
bootstrap.min.css		bootstrap.min.css
bootstrap.min.js		bootstrap.min.js
database.rb		database.rb
favicon.png		favicon.png
index.html.erb		index.html.erb
logs.html.erb		logs.html.erb
make_html.rb		make_html.rb
moment.min.js		moment.min.js
push_to_gitter.rb		push_to_gitter.rb
result.rb		result.rb
status.rb		status.rb
table.html.erb		table.html.erb