Create a website where we display the latest code coverage results for our testsuite

[fingolfin]

Building upon #545 there should be a website where the display the latest code coverage results. This website should be updated regularly (ideally on every commit, but more realistic is, say, every 24 hours).

I am not sure whether we can use Travis for that (probably not, due to runtime limitations), but perhaps a Jenkins task could be setup for that? The last step of that task could be to copy the created HTML files to a location where a webserver can access them. I.e. it is not even necessary to open Jenkins up to the public.

[olexandr-konovalov]

Assigned to myself - Jenkins is certainly the right tool here. I will need help from John for the last step.

[olexandr-konovalov]

For the record, by now I have dedicated Jenkins slave in the cloud, which produces the coverage report. It remains to sort out the publishing part.

[olexandr-konovalov]

I will add some starting page with the description, but for now http://gap-coverage.northeurope.cloudapp.azure.com/ already reports coverage in testinstall.g and testall.g when GAP (master branch as on this evening) started with -r -A. Just click on links to directories to see coverage reports.

[hungaborhorvath]

Thank you, this is really great! I have one question, though. What is the difference between the green and the red lines? (In particular, how do you get a red line? I only got green lines so far.) I did not seem to find a legend for this anywhere in the homepage of the profiling package.

[ChrisJefferson]

A bright red green line is executed.

A bright red line is NOT executed.

Lines which are neither bright red or bright green are not code which can be executed (you might think those lines were executed, this is to do with how GAP internally represents code).

The important thing is, get rid of bright red lines by adding tests!

[olexandr-konovalov]

For the first time in history - coverage report for the reference manual: http://gap-coverage.northeurope.cloudapp.azure.com/coverage-testmanuals/

[olexandr-konovalov]

And now the next part: http://gap-coverage.northeurope.cloudapp.azure.com/coverage-total/ contains merged coverage report for teststandard and the reference manual

[ChrisJefferson]

@alex-konovalov : Can you update http://gap-coverage.northeurope.cloudapp.azure.com/coverage-total/ ? (or send me the script you made it with)?

[olexandr-konovalov]

@ChrisJefferson It's run via Jenkins and needs no my intervention to be updated!!! ;-)

As soon as the test passes successfully, it copies all to http://gap-coverage.northeurope.cloudapp.azure.com/ - the date of the creation of the directories that you may see there is 2016-02-23 19:48 so this is last night's build.

It's only when tests fail that the HTML will not be copied over.

Next update will be tomorrow, after nightly tests will start at 6pm.

[olexandr-konovalov]

http://gap-coverage.northeurope.cloudapp.azure.com/ now has the fresh version, produced using the json update picked up this morning. Coloured cells indicating % of the coverage looks great!

[markuspf]

This can now be closed, we have codecov.io coverage.

[markuspf]

Here is a link: https://codecov.io/gh/gap-system/gap