tree 4bb1b2fc4f7100c1762cd2e7b49b70791e230cff
parent 2984f44009528bdd7f3ef5d2c4981d540e7d94c7
parent 7618288d496445d955c3e9cd9fff5ecb1e42c06d
author Jan Kundrát <kundrat@cesnet.cz> 1586378466 +0200
committer Gerrit Code Review <gerrit@gerrit.cesnet.cz> 1586378466 +0200

Merge changes from topic "ci-coverage"

* changes:
  CI: compare code coverage changes
  CI: start building with coverage profiling
  CI: only build docs once