chiark / gitweb /
site: show coverage info in Build Status.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 23 Feb 2019 00:32:43 +0000 (01:32 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 23 Feb 2019 00:38:11 +0000 (01:38 +0100)
commitd648a3f7bf207f6273c033b216281f2d07a67a84
tree9d6fd82cbfcf6e467e9aefa83bd34893f092304d
parent715a682c60a6447745cf9dd1bf014992e6765a6a
site: show coverage info in Build Status.
doc/build-status.html.in [new file with mode: 0644]
doc/build-status.js
doc/build-status.rst