Adding script to summarise and submit build stats

[bharrisau]

This is the solution I was looking at for the statistics. It avoids me needing to run a server to collect and distribute things.

You could probably implement it better/nicer in Ruby if you wanted. The next feature I'd look at would be comparing any pull requests to the most recent size and warning on size regressions.

[farcaller]

What I'd like to see in the end is size statistics per binary per defined symbol (compiled with -O0). I planned to do some work on https://github.com/indis/indis-elf (my ruby parser for elf), but there are other parsers available to do the job.

Meanwhile, this should do the trick as well.

[bharrisau]

Ok. It will probably work out better to move it to ruby in that case.

Things to export

• rust version
• zinc version
• date
• size of each production O2 build
• size of each symbol in O0 build
• copy of lst and map for O0 builds

I'd like to see a graph of total size vs date on the Zinc.rs page for each of the sample apps. Just to track out progress. The rest will be just for devs to understand why the size has changed.

Also: I might need to modify the script if the git complains about no config.name and config.email.

[farcaller]

So, it died in kind of expected way:

Submitting statistics
Cloning into 'zinc-stats'...
Warning: Permanently added the RSA host key for IP address '192.30.252.131' to the list of known hosts.
Permission denied (publickey).
fatal: Could not read from remote repository.

[bharrisau]

I'll create an issue. I added the travis pubkey for this repo as a deploy key for zinc-stats. I'll have to investigate more.